Suchfeld einblenden
Person Miglioli, Pierangelo
1 Treffer
Seite < 1 >
Theorem proving with analytic tableaux and related methods
: 5th international workshop ; tableaux '96, Terrasini, Palermo, Italy, May 15 - 17th, 1996 ; proceedings / [Workshop on Theorem Proving with Analytic Tableaux and Related Methods]. P. Miglioli ... (ed.). - Berlin : Springer, 1996. - X, 329 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1071 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61208-7 / 3-540-61208-4 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Seite < 1 >
