Acronyms von A bis Z
LNCS138
-D.W. Loveland (Ed.): 6th Conference on Automated Deduction, Proceedings 1982, Springer-Verlag 1982
-D.W. Loveland (Ed.): 6th Conference on Automated Deduction, Proceedings 1982, Springer-Verlag 1982