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

समर्थन
€43.65
भुगतान की विधि
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा जर्मन ● स्वरूप PDF ● ISBN 9783322938626 ● प्रकाशक Vieweg+Teubner Verlag ● प्रकाशित 2013 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 6373914 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है

एक ही लेखक से अधिक ईबुक / संपादक

48,795 इस श्रेणी में ईबुक