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

Ajutor
€43.59
Metode de plata
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Germana ● Format PDF ● ISBN 9783322938626 ● Editura Vieweg+Teubner Verlag ● Publicat 2013 ● Descărcabil 3 ori ● Valută EUR ● ID 6373914 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

49.474 Ebooks din această categorie