Filter

Logic Programming

658 books found

Logic for programming artificial intelligence and reasoning
Logic for programming artificial intelligence and reasoning

by Moshe Y. Vardi, Andrei Voronkov

2003 10 ed.
Foundations of Probabilistic Logic Programming
Foundations of Probabilistic Logic Programming

by Fabrizio Riguzzi

2018 9 ed.
Discrete structures, logic, and computability
Discrete structures, logic, and computability

by James L. Hein

1994 8 ed.
The experience of literature
The experience of literature

by Lionel Trilling, William Shakespeare

1967 8 ed.
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic progr...

by Dov M. Gabbay, Christopher John Hogger

1993 8 ed.
Rules and Reasoning
Rules and Reasoning

by Stefania Costantini, Enrico Franconi

2017 7 ed.
Logic functions and equations
Logic functions and equations

by Christian Posthoff, Bernd Steinbach

2005 7 ed.
Heritage of Western civilization
Heritage of Western civilization

by John Louis Beatty

1958 6 ed.
Time and Logic
Time and Logic

by Leonard Bolc, Andrzej Szałas

2019 6 ed.
Extension Innovation Method
Extension Innovation Method

by Chunyan Yang

2018 6 ed.
Constraint logic programming using ECLiPSe
Constraint logic programming using ECLiPSe

by Krzysztof R. Apt, Mark Wallace

2006 6 ed.
Programming with higher-order logic
Programming with higher-order logic

by Dale Miller

2012 6 ed.
Mathematical Aspects Of Logic Programming Semantics
Mathematical Aspects Of Logic Programming Semantics

by Anthony Seda

2010 6 ed.
Logic Programming
Logic Programming

by James H. Andrews, J. Andrews

1992 6 ed.
Programming Logic and Design
Programming Logic and Design

by Joyce Farrell

2004 6 ed.
Handbook of Logic in Computer Science
Handbook of Logic in Computer Science

by S. Abramsky

1992 6 ed.
Logic and Declarative Language
Logic and Declarative Language

by M. Downward

2004 5 ed.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasonin...

by Ken McMillan, Aart Middeldorp

2012 5 ed.
Power tools for Logic Pro 9
Power tools for Logic Pro 9

by Rick Silva

2010 5 ed.
Practical aspects of declarative languages
Practical aspects of declarative languages

by Enrico Pontelli

2000 5 ed.