McMillan - Logic for Programming Artificial Intelligence and Reasoni - X555z

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Artificial Intelligence and ... by Gabbay, Dov M. Paperback / softback

Gabbay - Logic for Artificial Intelligence and Information Technology - X555z

Pathak - Artificial Intelligence for .NET Speech Language and Searc - X555z

Solanki - Artificial Intelligence and Sustainable Computing for Smart - X555z

Han - Artificial Intelligence for Communications and Networks First - X555z