img

تفاصيل البطاقة الفهرسية

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