7th International Conference on Automated Deduction : proceedings / ed. R. E. Shostak
Corporate Author (Main)
International Conference on Automated Deduction, 7, Napa, 1984
Secondary Author
Shostak, R. E.
Country
Alemanha.
Publication
Berlin : Springer-Verlag, 1984
Description
VI, 508 p. ;
24 cm
Series
Lecture notes in computer science , 170
ISBN
3-540-96022-8
CDU
681.3
There are no comments for this item.