000 01188nam a2200301Ia 4500
008 160510s9999||||xx |||||||||||||| ||und||
020 _a 0-387-57322-4; 3-540-57322-4
037 _a C-182595
041 _a eng
080 _a 004.8(063)
090 _a III 13311
100 _a AISMC. Artificial Intelligence and Symbolic Mathematical Computing. International Conference. ( 1 ; 1992 ; Karlsruhe )
245 _a Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 proceedings
245 _c eds. Jacques Calmet, J. A. Campbell
260 _a Berlin; Heidelberg; New York
260 _b Springer
260 _c1993
300 _a VIII, 305 p. ; 23 cm
490 _a Lecture Notes in Computer Science (LNCS)\\Springer\
490 _v737
541 _h 105600 lei
655 _a lucrări conferințe
690 _a tehnologia informației (IT) -- inteligență artificială; inteligență artificială; matematică calculatorie
700 _a CALMET, Jacques; CAMPBELL, John\ \\A.
700 _e ed.; ed.
942 _a 004.8/A84
999 _c12572
_d12572