Logic Programming, Knowledge Representation, and Nonmonotonic... - 9783642208317

Eiter - Advances in Knowledge Representation Logic Programming and A - X555z

Logic and Knowledge, 1901-1950 Hardcover Bertrand Russell

Advances in Knowledge Representation, Logic Programming, and Abstract Argumen...

Andrews - Logic Programming Operational Semantics and Proof Theory - - X555z

Felderer - Combining First-Order Logic and Logic Programming Using Fol - X555z

McMillan - Logic for Programming Artificial Intelligence and Reasoni - X555z

Advances in Knowledge Representation, Logic Programming, and Abstract Argumen...