Nicola Olivetti 
Automated Reasoning with Analytic Tableaux and Related Methods [PDF ebook] 
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Destek
€57.94
Ödeme metodları
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● ISBN 9783540730996 ● Editör Nicola Olivetti ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2007 ● İndirilebilir 6 kez ● Döviz EUR ● Kimlik 6377220 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

16.615 Bu kategorideki e-kitaplar