6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
L. Wos (auth.), D. W. Loveland (eds.)الفئات:
عام:
1982
الإصدار:
1
الناشر:
Springer Berlin Heidelberg
اللغة:
english
الصفحات:
397
ISBN 10:
3540115587
ISBN 13:
9783540115588
سلسلة الكتب:
Lecture Notes in Computer Science 138
ملف:
PDF, 15.30 MB
IPFS:
,
english, 1982