Logic for Programming, Artificial Intelligence, and Reasoning - 9783642452208

Jack - Software Testing for Conventional and Logic Programming - New h - X555z

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Logic for Programming Artificial Intelligence and Reasoning 19th

Logic for Artificial Intelligence and ... by Gabbay, Dov M. Paperback / softback

Gabbay - Logic for Artificial Intelligence and Information Technology - X555z

Logic for Programming Artificial Intelligence and Reasoning : 10th Internatio...

Dershowitz - Logic for Programming Artificial Intelligence and Reaso - X555z