Result: Conference on automated deduction
Title:
Conference on automated deduction : 5th conference, Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel ...
Responsible:
Published:
Berlin : Springer, 1980
Extent:
VII, 385 S.
Format:
Language:
English
Series/ Mutipart item:
Lecture notes in computer science ; 87
Show all volumes
Show all volumes
Notes:
Literaturangaben
ISBN:
3540100091