Automated Reasoning

Format:

e-book

Title:

Automated Reasoning

Author:

Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo

Language:

English

Publisher:

Springer Berlin Heidelberg 2010

ISBN:

3-642-14202-8
9786613565693
1-280-38777-7
3-642-14203-6

Subject:

Information Technology Artificial Intelligence

Permalink:

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