LEADER 01365cam0-22003851i-450- 001 990000980040403321 005 20060918113748.0 010 $a0-444-70520-1 035 $a000098004 035 $aFED01000098004 035 $a(Aleph)000098004FED01 035 $a000098004 100 $a20001205d1989----km-y0itay50------ba 101 0 $aeng 102 $aNL 105 $a--------101yy 200 1 $aLogic, Methodology and Philosophy of Science 8.$eproceedings of Eighth international congress of logic, methodology and philosophy of science, Moscow, 1987$fedited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen 210 $aAmsterdam [etc.]$cNorth-Holland$d1989 215 $aXVII, 702 p.$d23 cm 225 1 $aStudies in logic and the foundations of mathematics$v126 610 0 $aFondamenti della logica matematica e probabilità 676 $a519 702 1$aFenstad,$bJens Erik 702 1$aFrolov,$bIvan T. 702 1$aHilpinen,$bRisto 710 12$aInternational congress of logic, methodology, and philosophy of science$d<8. ;$f1987 ;$eMosca>$0425665 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000980040403321 952 $a4A-114.003$b17965$fFI1 952 $a121-G-37$b8727$fMA1 959 $aFI1 959 $aMA1 996 $aLogic, Methodology and Philosophy of Science 8$9353285 997 $aUNINA LEADER 01518nam2-2200409li-450 001 990000207100203316 005 20180312154626.0 010 $a3-540-62034-6 035 $a0020710 035 $aUSA010020710 035 $a(ALEPH)000020710USA01 035 $a0020710 100 $a20001109d1996----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aFoundations of software technologyand theoretical computer science$e16th conference, Hyderabad, India,December 18-20, 1996$eprocedings$fVijay Chandru ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1996 215 $aXI, 386 p.$cill.$d23 cm 225 2 $aLecture notes in computer science$v1180 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$ahyderabad$a1996 610 1 $aelaboratori elettronici$acongressi$a1996 610 1 $asoftware$aprogettazione$acongressi$a1996 676 $a004$9Elab. dei dati Scienza degli elab. Informatica 702 1$aChaundru,$bVijay 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000207100203316 951 $a001 LNCS (1180)$b0019768$c001$d00103952 959 $aBK 969 $aSCI 979 $c19970207 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010201$lUSA01$h1632 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aFoundations of software technologyand theoretical computer science$91487563 997 $aUNISA LEADER 01043nam0-2200361---450 001 990008555620403321 005 20201005082438.0 010 $a88-87202-48-6 035 $a000855562 035 $aFED01000855562 035 $a(Aleph)000855562FED01 035 $a000855562 100 $a20070926d2004----km-y0itay50------ba 101 0 $aita$aeng 102 $aIT 105 $aa-------001yy 200 1 $aGeorg W. Reinberg$esolar architecture$fa cura di Adriana Labella$gpresentazione di Francesca Sartogo 210 $aMelfi$cLibria$d2004 215 $a111 p.$cill.$d15 cm 300 $aTesto anche in inglese 610 0 $aReinberg, Georg Wolfgang 610 0 $aArchitettura solare 610 0 $aEnergia solare 700 1$aReinberg,$bGeorg Wolfgang$024330 702 1$aLabella,$bAdriana 702 1$aSartogo,$bFrancesca 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008555620403321 952 $aA 384 CAN$b4099 URB$fDARPU 959 $aDARPU 996 $aGeorg W. Reinberg$9709050 997 $aUNINA