Handbook of Automated Reasoning

Handbook of Automated Reasoning

4.11 - 1251 ratings - Source

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.MCCUNE W. [1994b), OTTER 3.0 reference manual and guide, Technical Report ANL-94/6, Argonne National ... W. AND Wos L. [1997], a€œOttera€”the CADE-13 competition incarnationsa#39;, Journal of Automated Reasoning 18(2), 211a€“220.

Title:Handbook of Automated Reasoning
Author:John Alan Robinson, Andreĭ Voronkov
Publisher:Elsevier - 2001-01-01


You Must CONTINUE and create a free account to access unlimited downloads & streaming