Automated Reasoning with Analytic Tableaux and Related Methods

Type:

e-book

Titel:

Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:

Brünnler, Kai; Kanade, Takeo; Metcalfe, George

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2011

ISBN:

3-642-22118-1
3-642-22119-X

Onderwerp:

Information Technology Artificial Intelligence

Permalink:

http://bibtest.howest.be/catalog/ebk03:2670000000095941