Uncover the Latest Automated Logic Innovations

Indulge in iconic and innovative Automated Logic items curated just for you.

Brands

Point your camera to download the app

Customer support

We're available 24/7 to help you!

Uncover the Latest Automated Logic Innovations

Many-Valued Logics 2: Automated Reasoning and Practical Applications

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science)

Developing a Syllogistic Calculus to Generate and Solve Categorical Syllogisms on an Automated Basis

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings: 698 (Lecture Notes in Computer Science, 698)

Make: More Electronics: Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity Paperback – Illustrated, 17 June 2014

Many-Valued Logics: Automated Reasoning and Practical Applications: Pt. 2

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

Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence)

Proof Theory and Automated Deduction

Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

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

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Encyclopedia of Electronic Components Volume 2 Paperback – Big Book, 6 January 2015

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

Automated Theory Formation in Pure Mathematics

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)

Automated Model Building (Applied Logic Series, 31)

First-Order Logic and Automated Theorem Proving

Handbook of Automated Reasoning (Volume II)

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

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science, 1705)

Proof Theory and Automated Deduction (Applied Logic Series, 6)

Air Logic Control for Automated Systems

Automated Theorem Proving: Theory and Practice

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science)

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

Automated Deduction in Equational Logic and Cubic Curves: 1095 (Lecture Notes in Computer Science)

Automated Mathematical Induction

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

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Modelling Puzzles in First Order Logic

Logic for Computer Scientists (Modern Birkhäuser Classics)

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

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science)

Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Automated Deduction in Equational Logic and Cubic Curves

Automated Model Building

Air Logic Control for Automated Systems

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings: 698 (Lecture Notes in Artificial Intelligence)

Automated Theorem Proving

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings: 1955 (Lecture Notes in Computer Science)

Automated Mathematical Induction

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Automated Hierarchical Synthesis of Radio-Frequency Integrated Circuits and Systems: A Systematic and Multilevel Approach

Automated Deduction – CADE 29: 29th International Conference on Automated Deducti

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

Instantiation Theory: On the Foundations of Automated Deduction

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

A Brief History of Artificial Intelligence: What It Is, Where We Are, and Where We Are Going

Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Decision Support System and Automated Negotiations

Automated Theorem Proving

Logic for Computer Scientists

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Validation & Verification of UML/OCL Mod

Many-Valued Logics 2: Automated Reasoning and Practical Applications

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Automated Tomato Grading System Using Image Processing and Fuzzy Logic

Essential Math for AI Paperback – Big Book, 14 February 2023

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Automated Deduction ― CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Automated Theorem Proving: Theory and Practice

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Model Building (Applied Logic) (Applied Logic Series)

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)

Automated Model Building: 31 (Applied Logic Series)

Nonstandard Logics for Automated Reasoning