Mostrar  Paperback Book   ·   Mostrar todo
Mostrar artículos no disponibles

Lanzamientos por Pierangelo Miglioli

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