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

สนับสนุน
€43.65
วิธีการชำระเงิน
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา เยอรมัน ● รูป PDF ● ISBN 9783322938626 ● สำนักพิมพ์ Vieweg+Teubner Verlag ● การตีพิมพ์ 2013 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6373914 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

48,795 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้