00945nam0 22002651i 450 UON0019154620231205103217.458-599-0075-920030730d1993 |0itac50 barusSU|||| |||||Xunnystepnaja trilogijaL.N. GumilevSankt-PeterburgTajm-Aut - Kompass19932 V.20 cm. Manca il vol. 2UNNISTORIAUONC004025FIRULeningradUONL003193GUMILEVLev NikolaevičUONV008410205075Tajm-Aut - KompassUONV266138650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00191546SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI EO DUOMO ASIA 0129 SI EO 25464 5 0129 Xunny1293760UNIOR02683nam0 22005173i 450 AQ1000361420251003044040.00387573224New York3540573224Berlin20090729d1993 ||||0itac50 baengdez01i xxxe z01nArtificial intelligence and symbolic mathematical computingInternational Conference AISMC-1Karlsruhe, Germany, August 3-6, 1992proceedingsJacques Calmet, John A. Campbell (eds.)Berlin [etc.]Springer-Verlagc1993305 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis737001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis737702 1Goos, GerhardAQ1V006441340INTELLIGENZA ARTIFICIALECONGRESSI1992FIRMILC046688ILogica simbolicaCongressi1992FIRNAPC242159ILOGICA MATEMATICACONGRESSI1992FIRMILC069750I006.3Metodi speciali di elaborazione. Intelligenza artificiale22ConvegniCongressi e convegniIA <Intelligenza artificiale>ConvegniCongressi e convegniConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniIntelligenza artificialeIA <Intelligenza artificiale>CongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Calmet, JacquesAQ1V007916Campbell, J. A. <1940- >MILV051932International Conference Artificial Intelligence and Simbolic Mathematical Computation <1. ; 1992 ; Karlsruhe>AQ1V001933070714577International Conference AISMC <1. ; 1992 ; Karlsruhe>AQ1V007938International Conference Artificial Intelligence and Simbolic Mathematical Computation <1. ; 1992 ; Karlsruhe>ITIT-00000020090729IT-BN0095 AQ10003614Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000012765 VMA (0737 v. 737Y 1994090719940907 01Artificial intelligence and symbolic mathematical computing1381907UNISANNIO