Logic Programming The 1997 International Symposium

Logic Programming Proceedings of the 1999 International Conference on Logic Programming

Pre-Owned Logic Programming and Knowledge Representation: Third International Workshop Lpkr 97 Port Jefferson New York Usa October 17 1997 Selected Papers (Paperback)

Lecture Notes in Computer Science Functional and Logic Programming: 7th International Symposium Flops 2004 Nara Japan April 7-9 2004 Proceedings Book 2998 (Paperback)

Advances in Logic Programming Theory

Logic Programming 89 (Paperback)

Foundations of Logic and Functional Programming - (Lecture Notes in Computer Science) by Mauro Boscarol & Luigia Carlucci Aiello & Giorgio Levi

Lecture Notes in Computer Science Computer Science Logic: 12th International Workshop Csl 98 Annual Conference of the Eacsl Brno Czech Republic Augus Book 1584 (Paperback)

An Introduction to Programming and Algorithmic Reasoning using RAPTOR

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming Gulp (Paperback)

Lecture Notes in Computer Science Computer Science Logic: 11th International Workshop Csl 97 Annual Conference of the Eacsl Aarhus Denmark August 23- Book 1414 (Paperback)

Lecture Notes in Computer Science Programming in Methodology: 4th Informatik Symposium IBM Germany Wildbad September 25-27 1974 Book 23 (Paperback)

Pre-Owned Handbook of Practical Logic and Automated Reasoning (Hardcover)

Lecture Notes in Computer Science Programming Languages and Systems: 20th Asian Symposium Aplas 2022 Auckland New Zealand December 5 2022 Proceeding Book 13658 (Paperback)

Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Progress in Theoretical Computer Science Logic of Domains (Hardcover)

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Logic-Based Program Synthesis and Transformation: 21st International Symposium Lopstr 2011 Odense Denmark July 18-20 (Paperback)

Computational Logic in Multi-Agent Systems: 9th International Workshop CLIMA IX Dresden Germany September 29-30 2008 (Paperback)

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

Handbook of Philosophical Logic: Volume 17

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings

Pre-Owned The Nature of Computation: Logic Algorithms Applications (Paperback)

Functional and Constraint Logic Programming: 26th International Workshop Wflp 2018 Frankfurt/Main Germany September (Paperback)

Pre-Owned Lecture Notes in Computer Science: Programming Languages and Systems: First Asian Symposium Aplas 2003 Beijing China November 27-29 2003 Proceedings (Paperback)

Prolog Programming for Artificial Intelligence

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Paperback)

Techniques of PROLOG Programming with Implementation of Logical Negation and Quantified Goals (Paperback)

Program Logics for Certified Compilers

Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27

Foundations of logic programming (Symbolic computation) Lloyd, J. W [Used - Very good] [Hardcover]

Prolog Programming for Artificial Intelligence

Logic Programming (Apic Studies in Data Processing) K. Clark,S. A Tarnlund [Used - Good] [Hardcover]

Introduction to Mathematical Logic

The Lambda Calculus: Its Syntax and Semantics Studies in Logic and the Foundations of Mathematics

Logic for Mathematicians

The Waite Group's C Primer Plus