Sielkmann, J.H.,Ed.
8th International conference on automated deduction.proceedings,1986 - Berlin Springer-Verlag - Lecture notes in computer science ; 00230 .
681 LNCS
8th International conference on automated deduction.proceedings,1986 - Berlin Springer-Verlag - Lecture notes in computer science ; 00230 .
681 LNCS