Hermann - Logic for Programming Artificial Intelligence and Reasonin - X555z

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

Baaz - Logic for Programming Artificial Intelligence and Reasoning - X555z

Dershowitz - Logic for Programming Artificial Intelligence and Reaso - X555z

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

McMillan - Logic for Programming Artificial Intelligence and Reasoni - X555z

Logic for Programming, Artificial Intelligence, and Reasoning: 12th by Sutcliffe

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