LEADER 01570nam0 22003371i 450 001 UON00437538 005 20240906103211.795 100 $a20140402d1997 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| 1|||| 200 1 $aDiscipline umanistiche e informatica$eIl problema della formalizzazione$e(Ciclo di seminari, febbraio-giugno 1994)$fA cura di Tito Orlandi 210 $aRoma$cAccademia Nazionale dei Lincei$d1997 215 $a181 p.$d26 cm 311 $aIG I 020$9UON00319413 410 0$1001UON00319413$12001 $aContributi del Centro Linceo Interdisciplinare "Beniamino Segre"$v96 IG I 020 517 1$3UON00437545$aˆIl ‰problema della formalizzazione 606 $aInformatica umanistica$3UONC104020$2FI 620 $aIT$dRoma$3UONL000004 686 $aIG I$cINTERESSE GENERALE - GENERALIA$2A 702 1$aORLANDI$bTito$3UONV004932 712 02$aAccademia Nazionale dei Lincei$cRoma$3UONV004441 712 $a*Accademia *Nazionale dei *Lincei$3UONV246632$4650 791 02$aAccademia Pontificia dei Nuovi Lincei$zAccademia Nazionale dei Lincei $3UONV100849 791 02$aACCADEMIA DEI LINCEI$yAccademia Nazionale dei Lincei $3UONV042416 801 $aIT$bSOL$c20250919$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00437538 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI IG I 020 $eSI 9060 7 020 996 $aDiscipline umanistiche e informatica$91328828 997 $aUNIOR