J. A. Robinson profile picture

J. A. Robinson

Stand Alone

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
Computational logic
Handbook of automated reasoning
J. A. Robinson | MenrvaBooks