Harrie de Swart 
Automated Reasoning with Analytic Tableaux and Related Methods [PDF ebook] 
International Conference, TABLEAUX’98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

Ajutor
€92.28
Metode de plata
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● ISBN 9783540697787 ● Editor Harrie de Swart ● Editura Springer Berlin Heidelberg ● Publicat 2003 ● Descărcabil 3 ori ● Valută EUR ● ID 6377125 ● 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

16.523 Ebooks din această categorie