| Document Date: 2002-01-14 17:15:00 Open Document File Size: 631,31 KBShare Result on Facebook
City Jolla / / Company Proof Theory / Elsevier Science B.V. / / Country United States / / Facility University of California / / IndustryTerm computerized search / particular formal systems / arbitrary product / sequent calculus systems / / Organization Γ. / University of California / San Diego / / Person Ai / / ProvinceOrState California / / Technology artificial intelligence / /
SocialTag |