01570nam0 22003371i 450 UON0043753820240906103211.79520140402d1997 |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 formalizzazioneInformatica umanisticaUONC104020FIITRomaUONL000004IG 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>UONV042416ITSOL20250919RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00437538SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI IG I 020 SI 9060 7 020 Discipline umanistiche e informatica1328828UNIOR