8th International conference on Automated deduction
Oxford, England, July 27-August 1, 1986
كتاب من تأليف: International conference on automated deduction (8, Angleterre). ; نشر في: 1986
طبعة:
Berlin:
Springer
Springer
لغة:
إنجليزية
الوصف المادي:
IX-708 p.
;24 cm
ISBN: 3540167803