McMillan - Logic for Programming Artificial Intelligence and Reasoni - X555z

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Baaz - Logic for Programming Artificial Intelligence and Reasoning - X555z

Logic for Programming, Artificial Intelligence, and Reasoning

Gabbay - Logic for Artificial Intelligence and Information Technology - X555z

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

Han - Artificial Intelligence for Communications and Networks First - X555z