![Non-classical logic / Logic programming / Reasoning / Proof theory / Logic in computer science / Prolog / Defeasible logic / Curry–Howard correspondence / Inference / Logic / Mathematics / Mathematical logic Non-classical logic / Logic programming / Reasoning / Proof theory / Logic in computer science / Prolog / Defeasible logic / Curry–Howard correspondence / Inference / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/f3a3d14fe7b63df9977b22591107baec.jpg)
| Document Date: 2011-11-16 11:33:49 Open Document File Size: 222,00 KBShare Result on Facebook
City A. Rule / New York / / Company Prentice-Hall Inc. / Cambridge University Press / MIT Press / Andrew / Oxford University Press Inc. / / Country United States / / / Facility Indiana University / Martens Zachary A. Sparks Claire E. Alvis William E. Byrd Carnegie Mellon University / / IndustryTerm fancier rendering systems / search foundations / interactive proof search / proof search / / Organization Cambridge University / MIT / Carnegie Mellon University / Oxford University / Indiana University / / Person Cassie Orr / Donald Nute / Doug Orleans / William E. Byrd / Plotkin / Claire E. Alvis / Chris R. Martens Zachary / / Position author / extralinguistic interpreter / player / / ProgrammingLanguage Prolog / TADS / / ProvinceOrState New York / / Technology functional programming / http / / URL http /
SocialTag |