LEADER 01389nam--2200385---45-- 001 990002959910203316 005 20070719135942.0 010 $a3-540-23017-3 035 $a000295991 035 $aUSA01000295991 035 $a(ALEPH)000295991USA01 035 $a000295991 100 $a20070719d2004----km-y0ITAy0103-------ba 101 0 $aeng 102 $aDE 200 1 $aTheorem proving in higher order logics$e17. International conference, TPHOLs 2004$ePark City, Utah, USA, September 14-17, 2004$eProceedings$fKonrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2004 215 $aVIII, 336 p.$cill.$d24 cm 225 $aLecture notes in computer science$v3223 410 $12001$aLecture notes in computer science$v3223 606 1 $aIdrodinamica$aCongressi$a2004 606 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a2004 676 $a005.1 702 1$aSLIND,$bKonrad 702 1$aBINKER,$bAnnette 702 1$aGOPALAKRISHNAN,$bGanesh 710 12$aInternational conference, TPHOLs 2004$d<17. ;$f2004 ,$ePark City>$0597719 801 0$aITA$bCBS 912 $a990002959910203316 951 $a001 LNCS 3223$b31262/CBS$c001$d00215196 959 $aBK 969 $aSCI 979 $aSENATORE$b90$c20070719$lUSA01$h1359 996 $aTheorem proving in higher order logics$91027196 997 $aUNISA LEADER 01003cam0-2200313 --450 001 9910843999303321 005 20240409134538.0 010 $a9791280184283 100 $a20240409d2021----kmuy0itay5050 ba 101 2 $aita$aeng 102 $aIT 105 $aa 001yy 200 1 $aPercorsi femminili a Roma$esulle tracce delle protagoniste della storia dell'arte della cultura, della società$fEnza Plotino$gprefazione di Clara Tosi Pamphili 210 $aRoma$cAll Around$d2021 215 $a173 p.$cill.$d20 cm 225 1 $a<>guide 300 $aDescrizione dalla cop. 610 0 $aRoma$aGuide artistiche 610 0 $aDonne$aRoma$aitinerari 676 $a914.521104$v23$zita 700 1$aPlotino,$bEnza$01446796 702 1$aTosi Pamphili,$bClara 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910843999303321 952 $aDONNE 88$binserire inventario$finserire BAS 959 $aFSPBC 996 $aPercorsi femminili a Roma$94149892 997 $aUNINA