Yves Bertot & Gilles Dowek 
Theorem Proving in Higher Order Logics [PDF ebook] 
12th International Conference, TPHOLs’99, Nice, France, September 14-17, 1999, Proceedings

Supporto
€57.88
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato PDF ● ISBN 9783540482567 ● Editore Yves Bertot & Gilles Dowek ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2003 ● Scaricabile 3 volte ● Moneta EUR ● ID 6376945 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

48.853 Ebook in questa categoria