Logic for Programming, Artificial Intelligence, and Reasoning

Format:

e-book

Title:

Logic for Programming, Artificial Intelligence, and Reasoning

Author:

Fermüller, Christian G.; Kanade, Takeo; Voronkov, Andrei

Language:

English

Publisher:

Springer Berlin Heidelberg 2010

ISBN:

3-642-16241-X
9786613567581
1-280-38966-4
3-642-16242-8

Subject:

Information Technology Artificial Intelligence

Permalink:

http://bibtest.howest.be/catalog/ebk03:2550000000019873?locale=en