Advertisement

Search Results

Showing results for "Automated Reasoning"

Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

John E. Harrison
Handbook of Automated Reasoning, Vol. 1

Handbook of Automated Reasoning, Vol. 1

John Alan Robinson
Handbook of Automated Reasoning

Handbook of Automated Reasoning

J. Alan Robinson
Automated Reasoning: Introduction and Applications

Automated Reasoning: Introduction and Applications

Larry Wos
Handbook of Automated Reasoning (Volume II)

Handbook of Automated Reasoning (Volume II)

John Alan Robinson
Automated Reasoning: Introduction and Applications/Book & Disk

Automated Reasoning: Introduction and Applications/Book & Disk

Larry Wos
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Zhe Hou
Generic Inference: A Unifying Theory for Automated Reasoning

Generic Inference: A Unifying Theory for Automated Reasoning

Marc Pouly
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science Book 13385)

Jasmin Blanchette
Automated Reasoning With Otter

Automated Reasoning With Otter

John Arnold Kalman
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series, 3)

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series, 3)

J. Strother Moore
Automated Reasoning and the Discovery of Missing and Elegant Proofs

Automated Reasoning and the Discovery of Missing and Elegant Proofs

Larry Wos
Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Harald Ganzinger
Automated Reasoning: 33 Basic Research Problems

Automated Reasoning: 33 Basic Research Problems

Larry Wos
Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

Andrei Voronkov
Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series, 2)

Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series, 2)

Art Quaife
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)

Nicola Olivetti
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)

C.E. Brown
Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)

Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)

Robert Stephen Boyer
Organization, Management, and Expert Systems: Models of Automated Reasoning (de Gruyter Studies in Organization, 23)

Organization, Management, and Expert Systems: Models of Automated Reasoning (de Gruyter Studies in Organization, 23)

Michael Masuch