02336nam0 22003733i 450 AQ1000361420240816062317.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. Hartmanis737Intelligenza artificialeCongressi1992FIRMILC046688ILogica simbolicaCongressi1992FIRNAPC242159ILogica matematicaCongressi1992FIRNAPC242160I006.3METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE22Calmet, 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-NA007920090729IT-BN0095 AQ10003614Biblioteca Centralizzata di Ateneov. 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;3889193 v. 01COLL. ING. LNCS 0102 0000012765 B (0737 v. 7373 1994090719940907 01Artificial intelligence and symbolic mathematical computing1381907UNISANNIO