LEADER 01151nam0-22003371i-450 
001 990000858770403321
005 20190412092256.0
010   $a3-540-57322-4
035   $a000085877
035   $aFED01000085877
035   $a(Aleph)000085877FED01
035   $a000085877
100   $a20001010d1993----km-y0itay50------ba
101 0 $aeng
105   $ay-------001yy
200 1 $aArtificial intelligence and symbolic mathematical computing$einternational conference AISM,1. Karlsruhe, Germany, August 3-6,1992 proceedings$fa cura di J. Calmet, J. A.Campbel
210   $aBerlin$cSpringer-Verlag$d1993
215   $a305 p.$d24 cm
225 1 $aLecture notes in computer science$v737
676   $a519.7
702  1$aCalmet,$bJacques
702  1$aCampbell,$bJohn Arthur
710 12$aArtificial intelligence and symbolic mathematical computing$d<1.$f1992$eKarlsruhe>$0763658
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000858770403321
952   $a02 52 C 63$b6607$fFINBN
959   $aFINBN
996   $aArtificial intelligence and symbolic mathematical computing$91549606
997   $aUNINA
DB    $aING01