ID:DA00406355
Automated Deduction, Conference on
CADE
International Conference on Automated Deduction
Search authors sharing the same name
edited by D.W. Loveland
Springer-Verlag 1982 Lecture notes in computer science 138
: gw , : us
Available at 36 libraries
edited by W. Bibel and R. Kowalski
Springer-Verlag 1980 Lecture notes in computer science 87
Available at 55 libraries