Logic for Programming, Artificial Intelligence, and Reasoning - 9783642287169

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Logic for Programming Artificial Intelligence and Reasoning 19th

Paradigms of Artificial Intelligence Programming Peter Norvig Common Lisp AI

Logic for Programming, Artificial Intelligence, and Reasoning - 9783662488980

Logic Programming Knowledge Engineering Tore Amble 1989 AI Computer Science

Logic for Programming Artificial Intelligence and Reasoning 10th

Logic, form and function: The mechanization of deductive reasoning