Back to Results
First PageMeta Content
Tickets / Model theory / First-order logic


From: AAAI Technical Report FS[removed]Compilation copyright © 1995, AAAI (www.aaai.org). All rights reserved. Beppe had
Add to Reading List

Document Date: 2006-01-11 02:58:03

Open Document

File Size: 720,62 KB

Share Result on Facebook

City

Pisa / /

Company

Buva / /

Country

Italy / /

Holiday

Assumption / /

IndustryTerm

logic machinery / /

Organization

Stanford / /

Person

Maria Simi Dipartimento di Informatica / Giuseppe Attardi / Az / Giuseppe Attardi Maria Simi / Maria Beppe / /

Position

ticket inspector / vp / Assumethe inspector / inspector / vp in the current interpretation / ignorance The inspector / /

URL

www.aaai.org / /

SocialTag