LEADER 01601nam0 22003371i 450 001 UON00437538 005 20231205104935.251 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 $aDISCIPLINE UMANISTICHE$xApplicazioni dell'informatica$3UONC076305$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$c20240220$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