تحميل...

Logic for computer science : foundations of automatic theorem proving /

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Gallier, Jean H.
التنسيق: Printed Book
اللغة:English
منشور في: New York, NY : Harper & Row, c1986.
الموضوعات:

مواد مشابهة