Suchfeld einblenden
Person McRobbie, Michael A.
1 Treffer
Seite < 1 >
Automated deduction
: proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. M. A. McRobbie ; J. K. Slaney (ed.). - Berlin : Springer, 1996. - XV, 764 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1104 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61511-8 / 3-540-61511-3 kart. : DM 142.00
Literaturangaben
Quelle: DNB
Seite < 1 >
