by Anil Nerode
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Logic programming · Congresses
Logic for programming artificial intelligence and reasoning
2003
Logic programming · Machine theory
Foundations of Probabilistic Logic Programming
2018
Computable functions · Computer science
Discrete structures, logic, and computability
1994
Logic programming · Symbolic and mathematical Logic
Handbook of logic in artificial intelligence and logic programming
1993
Literature · Collections
The experience of literature
1967
Semantics · Programming languages (electronic computers)
Rules and Reasoning
2017
Mathematics · Computer logic
Logic functions and equations
2005
Civilization · Collections
Heritage of Western civilization
1958
Logic programming · Constraint programming (Computer science)
Constraint logic programming using ECLiPSe
2006
Logic programming · Prolog (Computer program language)
Programming with higher-order logic
2012
Logic programming · Programming languages (electronic computers)
Mathematical Aspects Of Logic Programming Semantics
2010
Automatic theorem proving · Logic programming
Logic Programming
1992
Analysis (Philosophy) · Language
Tractatus logico-philosophicus
1921
Symbolic and mathematical Logic · Thought and thinking
An Investigation of the Laws of Thought (Barnes & Noble)
1854
Algebraic logic · Symbolic and mathematical Logic
Algèbre de la logique
1905
Mathematics · Problems, exercises
How to solve it
1945
Symbolic and mathematical Logic · Textbooks
Mathematics and plausible reasoning
1954
Logic · Logic, symbolic and mathematical
Logic
2007
