ID:DA00406355
Automated Deduction, Conference on
CADE
International Conference on Automated Deduction
同姓同名の著者を検索
edited by D.W. Loveland
Springer-Verlag 1982 Lecture notes in computer science 138
: gw , : us
所蔵館38館
edited by W. Bibel and R. Kowalski
Springer-Verlag 1980 Lecture notes in computer science 87
所蔵館57館