تحميل...

Logic for computer science : foundations of automatic theorem proving /

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Gallier, Jean H.
التنسيق:	Printed Book
اللغة:	English
منشور في:	New York : Dover, 2015
الطبعة:	2nd ed.
الموضوعات:	Automatic theorem proving. Logic, Symbolic and mathematical. MATHEMATICS / Logic.

تفاصيل المقتنيات من University of Calicut
رقم الطلب:	511.360285 GAL/L
النسخة	الحالة المباشرة غير متاحة

مواد مشابهة