Lanzamientos por Pierangelo Miglioli

En stock en iMusic Mostrar artículos no disponibles
Cover for Pierangelo Miglioli · Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15-17, 1996 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1996)
Paperback Book
Theorem Proving with Analytic Ta...
Pierangelo Miglioli