Suchfeld einblenden
Person McCune, William
1 Treffer
Seite < 1 >
Automated deduction
: proceedings / CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997. William McCune (ed.). - Berlin : Springer, 1997. - XIV, 462 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1249 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63104-0 / 3-540-63104-6 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Seite < 1 >
