01601nam0 22003371i 450 UON0043753820231205104935.25120140402d1997 |0itac50 baitaIT|||| 1||||Discipline umanistiche e informaticaIl problema della formalizzazione(Ciclo di seminari, febbraio-giugno 1994)A cura di Tito OrlandiRomaAccademia Nazionale dei Lincei1997181 p.26 cmIG I 020UON00319413001UON003194132001 Contributi del Centro Linceo Interdisciplinare "Beniamino Segre"96 IG I 020UON00437545ˆIl ‰problema della formalizzazioneDISCIPLINE UMANISTICHEApplicazioni dell'informaticaUONC076305FIITRomaUONL000004IG IINTERESSE GENERALE - GENERALIAAORLANDITitoUONV004932Accademia Nazionale dei LinceiRomaUONV004441*Accademia *Nazionale dei *LinceiUONV246632650Accademia Pontificia dei Nuovi LinceiAccademia Nazionale dei Lincei <Roma>UONV100849ACCADEMIA DEI LINCEIAccademia Nazionale dei Lincei <Roma>UONV042416ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00437538SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI IG I 020 SI 9060 7 020 Discipline umanistiche e informatica1328828UNIOR