Artificial Intelligence Theory, Logic And Application 1986 By James F. Brulé

Sutcliffe - Logic for Programming Artificial Intelligence and Reason - X555z

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Baaz - Logic for Programming Artificial Intelligence and Reasoning - X555z

Dershowitz - Logic for Programming Artificial Intelligence and Reaso - X555z

McMillan - Logic for Programming Artificial Intelligence and Reasoni - X555z

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2...

Logic for Programming, Artificial Intelligence, and Reasoning