01305nam0 22003251i 450 UON0042202320231205104829.234978-88-7642-401-420130409d2011 |0itac50 baitaIT|||| |||||Montaigne contemporaneoa cura di Nicola Panichi, Renzo Ragghianti, Alessandro SavorelliPisa : Edizioni della Normale2011281 p.24 cmConvegno di studio, Pisa, Scuola Normale Superiore, 30 marzo - 1 aprile 2009.001UON002888972001 Seminari e Convegni24Montaigne, Michel DeUONC040323FIITPisaUONL000055194Filosofia occidentale moderna. Francia21PANICHINicolaUONV198315RAGGHIANTIRenzoUONV137826SAVORELLIAlessandroUONV151545Edizioni della NormaleUONV270896650ITSOL20250606RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00422023SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI FS 03252 SI 4922 5 Montaigne contemporaneo1135878UNIOR02683nam0 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