Logic for Programming, Artificial Intelligence, and Reasoning - 9783642452208

Logic for Programming, Artificial Intelligence, and Reasoning

Bjrner - Logic for Programming Artificial Intelligence and Reasonin - X555z

Gabbay - Logic for Artificial Intelligence and Information Technology - X555z

Common Lisp Programming for Artificial Intelligence (International Computer ...

Baaz - Logic for Programming Artificial Intelligence and Reasoning - X555z

Dershowitz - Logic for Programming Artificial Intelligence and Reaso - X555z

Delgado-Frias - VLSI for Artificial Intelligence and Neural Networks - - X555z