David A. Plaisted & Yunshan Zhu 
The Efficiency of Theorem Proving Strategies [PDF ebook] 
A Comparative and Asymptotic Analysis

الدعم
€43.65
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة ألمانية ● شكل PDF ● ISBN 9783322938626 ● الناشر Vieweg+Teubner Verlag ● نشرت 2013 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6373914 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

48٬795 كتب إلكترونية في هذه الفئة