Rāda  Paperback Book   ·   Rādīt visu
Rādīt nepieejamās preces

izlaidumi no 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