LEADER 01022nam0-2200313---450- 001 990009755530403321 005 20130729101938.0 035 $a000975553 035 $aFED01000975553 035 $a(Aleph)000975553FED01 035 $a000975553 100 $a20130729d1965----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $aa-------001yy 200 1 $aAlsace romane$fintroduction de Hans Haug$gtexte et plans de Robert Will$gphotographies inedites de Zodiaque$gtraduction anglaise de Paul Veyriras et Michael Z. L. Issacharoff 210 $aYonne$cAbbaye Sainte-Marie de la Pierre-qui-vire$d1965 215 $a350 p.$cill.$d23 cm 225 1 $a<>nuit des temps$v22 300 $aNumero speciale della rivista Zodiaque 610 0 $aArchitettura romanica$aAlsazia 700 1$aWill,$bRobert$0486157 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009755530403321 952 $a05.115$b4659$fDARST 959 $aDARST 996 $aAlsace romane$9300926 997 $aUNINA LEADER 01752nam0 2200337 i 450 001 SUN0051578 005 20160516121814.303 010 $a978-08-218-0595-4$d0.00 100 $a20060907d1997 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*Decision problems for equational theories of relation algebras$fHajnal Andreka, Steven Givant, Istvan Nemeti 210 $aProvidence, R. I.$cAmerican Mathematical Society$d1997 215 $aXIV, 126 p.$cill.$d26 cm. 410 1$1001SUN0024370$12001 $aMemoirs of the American Mathematical Society$v604$1210 $aProvidence$cAmerican mathematical society. 606 $a03B05$xClassical propositional logic [MSC 2020]$2MF$3SUNC021402 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$2MF$3SUNC024400 606 $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$2MF$3SUNC024503 606 $a08B15$xLattices of varieties [MSC 2020]$2MF$3SUNC024507 620 $aUS$dProvidence$3SUNL000273 700 1$aAndréka$b, Hajnal$3SUNV040514$00 701 1$aGivant$b, Steven R.$3SUNV040154$059680 701 1$aNemeti$b, Istvan$3SUNV040515$0726410 712 $aAmerican mathematical society$3SUNV001080$4650 801 $aIT$bSOL$c20200720$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Andreka, Givant, Nemeti - Decision problems for equational theories of relation algebras.pdf$zContents 912 $aSUN0051578 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0130 $e08 6970 I 20060907 996 $aDecision problems for equational theories of relation algebras$91427672 997 $aUNICAMPANIA LEADER 01591nam 2200385 450 001 9910717222003321 005 20220325152258.0 035 $a(CKB)5470000002529859 035 $a(OCoLC)1305533167 035 $a(EXLCZ)995470000002529859 100 $a20220325d2012 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHydrogeologic framework of the Wood River Valley aquifer system /$fby James R. Bartiolino and Candice B. Adkins 210 1$aReston, Virginia :$cU.S. Department of the Interior, U.S. Geological Survey,$d2012. 215 $a1 online resource (vi, 46 pages) $ccolor illustrations, maps (chiefly color) +$ecolor map + 5 appendices 225 1 $aScientific investigations report ;$v2012-5053 300 $a"Prepared in cooperation with Blaine County, City of Hailey, City of Ketchum, The Nature Conservancy, City of Sun Valley, Sun Valley Water and Sewer District, Blaine Soil Conservation District, and City of Bellevue." 320 $aIncludes bibliographical references (pages 30-35). 606 $aAquifers$zIdaho$zWood River Valley 606 $aHydrogeology$zIdaho$zWood River Valley 615 0$aAquifers 615 0$aHydrogeology 700 $aBartolino$b James R.$01391155 702 $aAdkins$b Candice B. 712 02$aGeological Survey (U.S.), 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910717222003321 996 $aHydrogeologic framework of the Wood River Valley aquifer system$93514600 997 $aUNINA