Shostak, R.E.,Ed.
7th International conference on automated deduction, Nape, California, USA, May 14-16,1984 - Berlin Springer-Verlag - Lecture notes in computer science ; 00170 .
681 LNCS
7th International conference on automated deduction, Nape, California, USA, May 14-16,1984 - Berlin Springer-Verlag - Lecture notes in computer science ; 00170 .
681 LNCS