Showing  Paperback Book   ·   Show all

In stock at iMusic

Show unavailable items

Releases by 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