Suchfeld einblenden
Person Galmiche, Didier
1 Treffer
Seite < 1 >
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings / [International Conference Tableaux]. Didier Galmiche (ed.). - Berlin : Springer, 1997. - XI, 372 S.; 24 cm - (Lecture notes in computer science; Vol. 1227 : Lecture notes in artificial intelligence)
ISBN 978-3-540-62920-7 / 3-540-62920-3 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Seite < 1 >