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

Support
€57.94
méthodes de payement
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● ISBN 9783540730996 ● Éditeur Nicola Olivetti ● Maison d’édition Springer Berlin Heidelberg ● Publié 2007 ● Téléchargeable 6 fois ● Devise EUR ● ID 6377220 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

16 580 Ebooks dans cette catégorie