Liknande böcker

Handbook of automated reasoning
Bok
Automated Reasoning
Bok av Stéphane. Demri
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, He...
Bok av Aleksandar Zeljic
Handbook of Logic in Artificial Intelligence and Logic Programming: Volu...
Bok av Dov M. Gabbay
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Intelligent Decision Support [electronic resource] : Handbook of Applica...
Bok av Shi-Yu Huang
Many-valued logics
Bok av Leonard Bolc
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning...
Bok av Marcello. Balduccini

Handbook of automated reasoning

Bok av Alan J A Robinson
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.