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:: Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei
Language:: English
Publisher:: Springer Berlin Heidelberg 2007
ISBN:: 3-540-75558-6
3-540-75560-8
Subject:: Information Technology Artificial Intelligence
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000490758?locale=en