LEADER 01074nam--2200361---450- 001 990000345220203316 035 $a0034522 035 $aUSA010034522 035 $a(ALEPH)000034522USA01 035 $a0034522 100 $a20010226d1979----km-y0itay0103----ba 101 $aeng 102 $aUSA 105 $a||||||||001yy 200 1 $a<> computational logic$fby Robert S. Boyer and Strother Moore 210 $aNew York$cAcademic Press$dc1979 215 $aXIV, 397 p.$d23 cm 225 2 $aACM Monograph Series 410 1$12001$aACM Monograph Series 610 0 $aElaboratori elettronici$xMetodi matematici 676 $a519.4 700 1$aBOYER,$bRobert S.$041253 801 0$aIT$bsalbc$gISBD 912 $a990000345220203316 951 $a001 ACM (1)$b4976 SM$c001 ACM$d00100715 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20010226$lUSA01$h1205 979 $aPATTY$b90$c20010226$lUSA01$h1207 979 $c20020403$lUSA01$h1642 979 $aPATRY$b90$c20040406$lUSA01$h1624 996 $aComputational logic$9878785 997 $aUNISA LEADER 01288nam0 22003011i 450 001 UON00048063 005 20231205102214.564 100 $a20020107g13811962 |0itac50 ba 101 $aara 102 $aSA 105 $a|||| 1|||| 200 1 $aˆal-‰daragat al-rafi'ah fi tabaqat al-si'ah$fta'lif 'Ali Han ibn Ma'sum al-Madani 210 $aNagaf$cal-Matba'ah al-Haydariyyah$dH. 1382$e1962 215 $a596 p.$d25 c 300 $aAltro front. : al-Darajat rafiah fi tabagat al-shiah 510 1$3UON00356644$aˆal-‰Darahat rafiah fi tabagat al-shiah 517 1$3UON00356645$aTabaqat al-siah 606 $aIslam$xBiografie$3UONC001716$2FI 620 $aIQ$dNa?af$3UONL001429 686 $aARA GEN G VII$cPAESI ARABI - WHO'S WHO, ANNUARI - RELIGIONE E FILOSOFIA$2A 700 1$aALI HAN$bAhmed ibn Muhammed Ma'sum al-Madani$3UONV030463$0650207 712 $aMat?ba?a al-H?ayriyya$3UONV252038$4650 801 $aIT$bSOL$c20241213$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00048063 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI ARA GEN G VII 025 $eSI AR 13 7 025 996 $aDaragat al-rafi'ah fi tabaqat al-si'ah$91156372 997 $aUNIOR