LEADER 00980nam0-2200325---450- 001 990008637980403321 005 20081002121217.0 010 $a0-300-04309-0 035 $a000863798 035 $aFED01000863798 035 $a(Aleph)000863798FED01 035 $a000863798 100 $a20080325d1995----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $aa-------001yy 200 1 $a<>work of Antonio Sant'Elia$eretreat into the future$fEsther da Costa Meyer 210 $aNew Haven$cYale University Press$aLondon$dc1995 215 $aX, 249 p.$cill.$d26 cm 225 1 $aYale publications in the history of art 610 0 $aSant'Elia, Antonio$aOpere 700 1$aDa Costa Meyer,$bEsther$0429617 702 1$aSant'Elia,$bAntonio$f<1888-1916> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008637980403321 952 $a10.421$b3053$fDARST 959 $aDARST 996 $aWork of Antonio Sant'Elia$9713765 997 $aUNINA LEADER 01580nam2-2200421li-450 001 990000211740203316 005 20180312154811.0 010 $a3-540-58403-X 035 $a0021174 035 $aUSA010021174 035 $a(ALEPH)000021174USA01 035 $a0021174 100 $a20001109d1994----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aConstraints in computational logics$efirst International conference CCL'94$eMunich, Germany, September 7-9, 1994$eproceedings$fJean-Pierre Jouannaud (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994 215 $aVIII, 367 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v845 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$amonaco di baviera$a1994 610 1 $aelaborazione elettronica$amodelli matematici$acongressi$a1994 610 1 $alogica matematica$acongressi$a1994 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aJouannaud,$bJean-Pierre 710 12$aInternational conference CCL'94$d1.$eMonaco di Baviera$f1994$0753878 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000211740203316 951 $a001 LNCS (845)$b0016375$c001$d00103578 959 $aBK 969 $aSCI 979 $c19951010 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010131$lUSA01$h1012 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aConstraints in computational logics$91516638 997 $aUNISA