LEADER 02336nam0 22003733i 450 001 AQ10003614 005 20240906062521.0 010 $a0387573224$bNew York 010 $a3540573224$bBerlin 100 $a20090729d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aArtificial intelligence and symbolic mathematical computing$eInternational Conference AISMC-1$eKarlsruhe, Germany, August 3-6, 1992$eproceedings$fJacques Calmet, John A. Campbell (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dc1993 215 $a305 p.$d24 cm. 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v737 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v737 606 $aIntelligenza artificiale$xCongressi$x1992$2FIR$3MILC046688$9I 606 $aLogica simbolica$xCongressi$x1992$2FIR$3NAPC242159$9I 606 $aLogica matematica$xCongressi$x1992$2FIR$3NAPC242160$9I 676 $a006.3$9METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE$v22 702 1$aCalmet$b, Jacques$3AQ1V007916 702 1$aCampbell$b, J. A.$f <1940- >$3MILV051932 710 12$aInternational Conference Artificial Intelligence and Simbolic Mathematical Computation$d <1.$f ; 1992$e ; Karlsruhe>$3AQ1V001933$4070$0714577 791 12$aInternational Conference AISMC$d <1.$f ; 1992$e ; Karlsruhe>$3AQ1V007938$zInternational Conference Artificial Intelligence and Simbolic Mathematical Computation <1. ; 1992 ; Karlsruhe> 801 3$aIT$bIT-NA0079$c20090729 850 $aIT-BN0095 912 $aAQ10003614 950 0$aBiblioteca Centralizzata di Ateneo$bv. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889$c193 v.$d 01COLL. ING. LNCS$e 0102 0000012765 B (0737 v. 737$f3 $h19940907$i19940907 977 $a 01 996 $aArtificial intelligence and symbolic mathematical computing$91381907 997 $aUNISANNIO