Suchfeld einblenden
Person Kapur, Deepak
2 Treffer
Seite < 1 >
Automated deduction
: proceedings / CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992. D. Kapur (ed.). - Berlin : Springer, 1992. - XV, 793 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 607 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55602-2 / 3-540-55602-8 kart. : DM 144.00
Literaturangaben
Quelle: DNB
Computer mathematics
: 8th Asian symposium ; revised and invited papers / ASCM 2007, Singapore, December 15 - 17, 2007. Deepak Kapur (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5081 : Lecture notes in artificial intelligence)
ISBN 978-3-540-87827-8
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
