Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
von:
Pierangelo Miglioli
·
Ugo Moscato
·
Daniele Mundici
Taschenbuch
Details (
USA
)
ISBN: 978-3-662-17552-1
ISBN-10: 3-662-17552-5
Springer
· 2014