Logic for Programming Artificial Intelligence and Reasoning 9th I

Logic for Programming, Artificial Intelligence, and Reasoning - 9783662488980

PROLOG Programming for Artificial Intelligence (International C .9780201416060

Logic Programming Knowledge Engineering Tore Amble 1989 AI Computer Science

PROLOG Programming for Artificial Intelligence (International ..9780201416060

Revolutionary Mathematics: Artificial Intelligence, Statistics and the Logic of

Artificial Intelligence: Theory, Logic and Application Brule, James F.:

Logic, form and function: The mechanization of deductive reasoning