Explore Books on
logic programming

1-24 of 660 Books

Cover of Logic for programming artificial intelligence and reasoning by moshe y. vardi,andrei voronkov

Logic for programming artificial intelligence and reasoning

By Moshe Y. Vardi,Andrei Voronkov

Cover of Foundations of Probabilistic Logic Programming by fabrizio riguzzi

Foundations of Probabilistic Logic Programming

By Fabrizio Riguzzi

Cover of Discrete structures, logic, and computability by james l. hein

Discrete structures, logic, and computability

By James L. Hein

Cover of Handbook of logic in artificial intelligence and logic programming by dov m. gabbay,christopher john hogger,j.a. robinson,c. j. hogger,j. a. robinson

Handbook of logic in artificial intelligence and logic programming

By Dov M. Gabbay,Christopher John Hogger,J.A. Robinson,C. J. Hogger,J. A. Robinson

Cover of The experience of literature by lionel trilling,william shakespeare,антон павлович чехов,george bernard shaw,nathaniel hawthorne,herman melville,fiódor dostoievski,james joyce,william faulkner,edgar allan poe,albert camus

The experience of literature

By Lionel Trilling,William Shakespeare,Антон Павлович Чехов,George Bernard Shaw,Nathaniel Hawthorne,Herman Melville,Fiódor Dostoievski,James Joyce,William Faulkner,Edgar Allan Poe,Albert Camus

Cover of Logic functions and equations by christian posthoff,bernd steinbach

Logic functions and equations

By Christian Posthoff,Bernd Steinbach

Cover of Rules and Reasoning by stefania costantini,enrico franconi,william van woensel,roman kontchakov,fariba sadri,dumitru roman

Rules and Reasoning

By Stefania Costantini,Enrico Franconi,William Van Woensel,Roman Kontchakov,Fariba Sadri,Dumitru Roman

Cover of Handbook of Logic in Computer Science by s. abramsky

Handbook of Logic in Computer Science

By S. Abramsky

Time and Logic

Time and Logic

By Leonard Bolc,Andrzej Szałas

Cover of Programming Logic and Design by joyce farrell

Programming Logic and Design

By Joyce Farrell

Cover of Programming with higher-order logic by dale miller

Programming with higher-order logic

By Dale Miller

Cover of Mathematical Aspects Of Logic Programming Semantics by anthony seda

Mathematical Aspects Of Logic Programming Semantics

By Anthony Seda

Cover of Constraint logic programming using ECLiPSe by krzysztof r. apt,mark wallace

Constraint logic programming using ECLiPSe

By Krzysztof R. Apt,Mark Wallace

Cover of Logic Programming by james h. andrews,j. andrews

Logic Programming

By James H. Andrews,J. Andrews

Extension Innovation Method

Extension Innovation Method

By Chunyan Yang

Cover of Heritage of Western civilization by john louis beatty

Heritage of Western civilization

By John Louis Beatty

Cover of The Uncertain Reasoner's Companion by j. b. paris

The Uncertain Reasoner's Companion

By J. B. Paris

Logic and Declarative Language

Logic and Declarative Language

By M. Downward

Cover of Programmable logic controllers by james a rehg,james a. rehg,glenn j. sartori

Programmable logic controllers

By James A Rehg,James A. Rehg,Glenn J. Sartori

Cover of Power tools for Logic Pro 9 by rick silva

Power tools for Logic Pro 9

By Rick Silva

Cover of Practical aspects of declarative languages by enrico pontelli

Practical aspects of declarative languages

By Enrico Pontelli

Cover of The Reasoned Schemer by daniel p. friedman,william e. byrd,oleg kiselyov

The Reasoned Schemer

By Daniel P. Friedman,William E. Byrd,Oleg Kiselyov

Cover of Logic programming by robert kowalski,kenneth a. bowen

Logic programming

By Robert Kowalski,Kenneth A. Bowen

Cover of Logic for Programming, Artificial Intelligence, and Reasoning by ken mcmillan,aart middeldorp,andrei voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan,Aart Middeldorp,Andrei Voronkov