LEADER 02683nam0 22005173i 450 001 AQ10003614 005 20251003044040.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$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aINTELLIGENZA ARTIFICIALE$xCONGRESSI$x1992$2FIR$3MILC046688$9I 606 $aLogica simbolica$xCongressi$x1992$2FIR$3NAPC242159$9I 606 $aLOGICA MATEMATICA$xCONGRESSI$x1992$2FIR$3MILC069750$9I 676 $a006.3$9Metodi speciali di elaborazione. Intelligenza artificiale$v22 696 $aConvegni$aCongressi e convegni$aIA 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aIntelligenza artificiale$yIA 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 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-000000$c20090729 850 $aIT-BN0095 912 $aAQ10003614 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000012765 VMA (0737 v. 737$fY $h19940907$i19940907 977 $a 01 996 $aArtificial intelligence and symbolic mathematical computing$91381907 997 $aUNISANNIO