Result: Automated deduction

*Title*:

Automated deduction : proceedings / CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992. D. Kapur (ed.)

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 1992

*Physical description scale*:

XV, 793 Seiten : Diagramme

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

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

*Notes*:

Literaturangaben

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540556028 ; 0387556028

*Result*: Automated deduction