![Logic / Logic programming / Rules of inference / Unification / Theoretical computer science / Occurs check / Prolog / First-order logic / Resolution / Mathematics / Mathematical logic / Automated theorem proving Logic / Logic programming / Rules of inference / Unification / Theoretical computer science / Occurs check / Prolog / First-order logic / Resolution / Mathematics / Mathematical logic / Automated theorem proving](https://www.pdfsearch.io/img/be4788858e8d53bc998707bccf33708b.jpg)
| Document Date: 2004-12-06 11:56:54 Open Document File Size: 2,76 MBShare Result on Facebook
Company Cox / Baxter / / Currency USD / / Facility Carnegie-Mellon University / / IndustryTerm online/offline equivalence problems / parallel algorithms / natural language processing-is / nondeterministic algorithm / unification algorithms / particular search path fails / unification algorithm / linear algorithm / natural language processing / search engine / food / / Organization Multidisciplinary Survey KEVIN KNIGHT Computer Science Department / Carnegie-Mellon University / Pittsburgh / Association for Computing Machinery / / Person Robinson / Kevin Knight foo / KEVIN KNIGHT / / / Position advisor / Guard / Advisors / Natural Language Processing General / / ProgrammingLanguage Prolog / / ProvinceOrState Pennsylvania / / PublishedMedium Machine Learning / / Technology unification algorithms / 19651 unification algorithm / linear algorithm / Paterson-Wegman algorithm / natural language processing / artificial intelligence / unification algorithm / nondeterministic algorithm / last algorithm / two unification algorithms / search engine / Machine Learning / 1989 algorithm / /
SocialTag |