Automated deduction CADE 12

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Alan Bundy
التنسيق: Printed Book
اللغة:English
منشور في: Springer-Verlag 1994
الوصف
وصف مادي:848
ردمك:3-540-58156-1

مواد مشابهة