LEADER 01283nam0-22003611--450- 001 990008325520403321 005 20060511084839.0 020 $aIT$b588827 035 $a000832552 035 $aFED01000832552 035 $a(Aleph)000832552FED01 035 $a000832552 100 $a20060511d1958----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>monachesimo orientale$eatti del Convegno di studi orientali che sul predetto tema si tenne a Roma, sotto la direzione del Pontificio istituto orientale, nei giorni 9, 10, 11 e 12 aprile 1958$fallocuzione di Pio 22$grelazioni di Irenee Hausherr ... [et. al.] 210 $aRoma$cPont. Institutum orientalium studiorum$d1958 215 $a364 p., [2] tav.$d24 cm 225 1 $aOrientalia Christiana analecta 300 $aEpilogo di I. Ortiz de Urbina 676 $a271$v15$zita 702 0$aPius$dXII$cpapa$f<1876-1958> 702 1$aHausherr,$bIrenee 702 1$aOrtiz de Urbina,$bIgnacio 710 12$aConvegno di studi orientali$f<1958 ;$eRoma>$0500368 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008325520403321 952 $aIII M 40 (153)$b80239$fFGBC 959 $aFGBC 996 $aMonachesimo orientale$9743603 997 $aUNINA LEADER 01507nlm0 22004331i 450 001 990009241430403321 010 $a9783540745914 035 $a000924143 035 $aFED01000924143 035 $a(Aleph)000924143FED01 035 $a000924143 100 $a20100926d2007----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aTheorem Proving in Higher Order Logics$bRisorsa elettronica$e20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings$fedited by Klaus Schneider, Jens Brandt 210 $aBerlin ; Heidelberg$cSpringer$d2007 225 1 $aLecture Notes in Computer Science$x0302-9743$v4732 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBrandt,$bJens 702 1$aSchneider,$bKlaus 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-74591-4 901 $aEB 912 $a990009241430403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogic Design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aTheorem Proving in Higher Order Logics$9772309 997 $aUNINA