Books · Search
Computer hardware · Computer science
Logic for Applications
1993
Logic programming · Congresses
Logic programming and non-monotonic reasoning
Computer science · Logic programming
Logic for applications
Addresses, essays, lectures · Recursion theory
Recursion theory
1984
Logic programming · Symbolic and mathematical Logic
Logical methods
Electronic data processing · Computers
Logical foundations of computer science--Tver '92
1992
Logic programming · Nonmonotonic reasoning
1991
Algebraic Curves and Riemann Surfaces for Undergraduates
2022
Machine theory
Automata theory and its applications
2001
Congresses · Symbolic and mathematical Logic
Logical foundations of computer science
1994
Ciência da computação (congressos) · Programação lógica (congressos)
2007
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
Logical Foundations of Computer Science
Logic programming · Logic, Symbolic and mathematical
