5th Conference on Automated Deduction / ed. W. Bibel, R. Kowalski
Corporate Author (Main)
Conference on Automated Deduction, 5, Les Arcs, 1980
Secondary Author
Bibel, Wolfgang
Kowalski, Robert
Country
Alemanha.
Publication
Berlin : Springer-Verlag, 1980
Description
VII, 385 p. ;
25 cm
Series
Lecture notes in computer science , 87
ISBN
3-540-10009-1
CDU
681.3
There are no comments for this item.