by Fabrizio Riguzzi
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
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
Computers, periodicals · Electronic data processing
Advances in Computers, Volume 49 (Advances in Computers)
1995
Electronic data processing · Computers
Advances in Computers
1971
American Science fiction · English language
The Complete Robot
1982
Microcomputers · Purchasing
Buying a computer for dummies
Computer network protocols · TCP/IP (Computer network protocol)
TCP/IP
High performance computing · Superinformatique
Contemporary High Performance Computing
2013
SOCIAL SCIENCE / Popular Culture · ART / Performance
Mobile interface theory