Result: Automated reasoning

*Title*:

Automated reasoning : first international joint conference ; proceedings / IJCAR 2001, Siena, Italy, June 18 - 22, 2001. Rajeev Goré ... (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 2001

*Physical description scale*:

XV, 708 Seiten : Diagramme

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 2083 : Lecture notes in artificial intelligence
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540422544

*Result*: Automated reasoning