Uncover the Latest Automated Logic Innovations
Indulge in iconic and innovative Automated Logic items curated just for you.
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)
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science)
Automated Deduction in Equational Logic and Cubic Curves
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 Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Decision Support System and Automated Negotiations
Automated Theorem Proving
Logic for Computer Scientists
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
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 in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Automated Deduction ― CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
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 Model Building: 31 (Applied Logic Series)
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)
Nonstandard Logics for Automated Reasoning
Automated Deduction in Classical and Non-Classical Logics: Selected Papers: 1761 (Lecture Notes in Computer Science)
Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I)
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems)
Nonstandard Logics for Automated Reasoning
Proof Theory and Automated Deduction (Applied Logic Series)
Air Logic Control for Automated Systems
Advances in Logic Programming and Automated Reasoning: v. 1 (Advances in logic programming & automated reasoning)
Handbook of Automated Reasoning (Volume II)
