9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988. Proceedings
تاريخ النشر: 04/05/1988
الناشر: Springer
ترجمة، تحقيق: Ewing Lusk
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 792
مجلدات: 1
ردمك: 9783540193432