Lusk, E. Ed. Overbeek, R. Ed.
Automated Deduction Proceedings, 9th Int.Conf., Argonne, USA, 1988 - Berlin Springer Verlag 1988 - 775 - Lecture notes in computer science ; 00310 .
354019343X
Automated Deduction
681 LNCS
Automated Deduction Proceedings, 9th Int.Conf., Argonne, USA, 1988 - Berlin Springer Verlag 1988 - 775 - Lecture notes in computer science ; 00310 .
354019343X
Automated Deduction
681 LNCS