![Model theory / Predicate logic / Boolean algebra / Propositional calculus / Atomic sentence / Unification / Function / First-order logic / If and only if / Logic / Mathematical logic / Mathematics Model theory / Predicate logic / Boolean algebra / Propositional calculus / Atomic sentence / Unification / Function / First-order logic / If and only if / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/d0d748c7dec37cd841942aa0cf9265d6.jpg)
| Document Date: 2009-08-25 18:32:21 Open Document File Size: 114,55 KBShare Result on Facebook
Company John / / Facility Atanasoff Hall / / NaturalFeature Artificial Intelligence Fall / / Organization Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Department of Computer Science / Iowa State University / / Person Thoralf Skolem / Horn Clauses / / Position General / MP / mathematician / Prime Minister / axioms using MP / / Product M14 / M-16 / M-9 / / ProvinceOrState Iowa / / Technology artificial intelligence / /
SocialTag |