Logic for Programming, Artificial Intelligence, and Reasoning - bib.howest.be

Logic for Programming, Artificial Intelligence, and Reasoning

Format:: e-book
Title:: Logic for Programming, Artificial Intelligence, and Reasoning
Author:: Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Language:: English
Publisher:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-89438-1
3-540-89439-X
Subject:: Information Technology Artificial Intelligence
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000545845?locale=en