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

Supporto
€43.59
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Tedesco ● Formato PDF ● ISBN 9783322938626 ● Casa editrice Vieweg+Teubner Verlag ● Pubblicato 2013 ● Scaricabile 3 volte ● Moneta EUR ● ID 6373914 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

50.053 Ebook in questa categoria