Result: Conference on automated deduction

*Title*:

Conference on automated deduction : 5th conference, Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel ...

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Berlin : Springer, 1980

*Physical description scale*:

VII, 385 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 87
*show_all_volumes*

*Notes*:

Literaturangaben

*RVK-Notation*:

*ISBN*:

3540100091

*Result*: Conference on automated deduction