Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96… - SLUB Dresden

Media type: E-Book; Conference Proceedings
Title: Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Contributor: Miglioli, Pierangelo [Author]; Moscato, Ugo [Other]; Mundici, Daniele [Other]; Ornaghi, Mario [Other]
imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1996
Published in: Lecture notes in computer science ; 1071
Bücher
Extent: Online-Ressource
Language: English
DOI: 10.1007/3-540-61208-4
ISBN: 9783540683681
Identifier:

Search in field: