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 00718nam0-2200253 --450 001 9910631898403321 005 20221214102109.0 100 $a20221214d1910----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aGuida del porto di Genova$fCesare Festa 205 $a2. ed. italiana 210 $aGenova$cBeghi & Vitali$d1910 215 $a464 p., [37] c. di tav. in parte ripieg.$cill.$d18 cm 610 0 $aGenova$aPorto 700 1$aFesta,$bCesare$06198 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910631898403321 952 $aFONDO ROSSI 2088$bROSSI 2162$fFARBC 959 $aFARBC 996 $aGuida del porto di Genova$92982594 997 $aUNINA LEADER 00919cam0-2200313---450 001 990004374840403321 005 20241122125211.0 035 $a000437484 035 $aFED01000437484 035 $a(Aleph)000437484FED01 100 $a19990604d1988----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aLingua rock$el'italiano dopo il recente costume giovanile$fRoberto Giacomelli 210 $aNapoli$cMorano$d1988 215 $a254 p.$d21 cm 225 1 $aCollana di linguistica e critica letteraria$v7 610 0 $aLingua italiana$aNeologismi 610 0 $aGergo giovanile$aItalia$a1868-1980 676 $a457.09$v20$zit 700 1$aGiacomelli,$bRoberto$0172320 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004374840403321 952 $a450.147 GIAC 01$b44309$fFLFBC 959 $aFLFBC 996 $aLingua rock$9132294 997 $aUNINA