LEADER 01167nam--2200385---450- 001 990000557530203316 035 $a0055753 035 $aUSA010055753 035 $a(ALEPH)000055753USA01 035 $a0055753 100 $a20010711d1982----km-y0itay0103----ba 101 $aeng 102 $aGB 105 $a||||||||001yy 200 1 $aLogic programming$fedited by K.L. Clark and S.A. Tärnlund 210 $aLondon$cAcademic Press$d1982 215 $aXV, 366 p.$cill.; tab.$d23 cm 225 2 $aA.P.I.C. studies in data processing$v16 410 $12001$aA.P.I.C. studies in data processing$v16 610 0 $aEleboratori elettronici digitali Programmazione 610 0 $aLogica simbolica 610 0 $aLogica matematica 676 $a001.642 702 1$aCLARK,$bKeith L. 702 1$aTÄRNLUND,$bSten-Ake 801 0$aIT$bsalbc$gISBD 912 $a990000557530203316 951 $a001.6 API 16 B$b13683 SM$c001.6$d00105084 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20010711$lUSA01$h0943 979 $c20020403$lUSA01$h1705 979 $aPATRY$b90$c20040406$lUSA01$h1639 996 $aLogic programming$9337553 997 $aUNISA LEADER 01787oam 2200409Ia 450 001 9910697320903321 005 20081205115040.0 035 $a(CKB)5470000002387726 035 $a(OCoLC)175296992 035 $a(EXLCZ)995470000002387726 100 $a20071022d2007 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGeophysical analysis of the Salmon Peak Formation near Amistad Reservoir Dam, Val Verde County, Texas, and Coahuila, Mexico, March 2006, to aid in piezometer placement$b[electronic resource] /$fby Gregory P. Stanton ... [and others] ; in cooperation with the U.S. Section, International Boundary and Water Commission 210 1$aReston, Va. :$cU.S. Dept. of the Interior, U.S. Geological Survey,$d2007. 215 $avi, 70 pages $cdigital, PDF file 225 1 $aScientific investigations report ;$v2007-5143 300 $aTitle from title screen (viewed on Dec. 4, 2008). 320 $aIncludes bibliographical references. 606 $aGeophysics$zTexas$zVal Verde County 606 $aGeophysics$zAmistad Reservoir Region (Tex. and Mexico) 607 $aSalmon Peak Formation (Tex.) 615 0$aGeophysics 615 0$aGeophysics 701 $aStanton$b Gregory P$01391756 712 02$aInternational Boundary & Water Commission, United States & Mexico.$bUnited States Section. 712 02$aGeological Survey (U.S.) 801 0$bGIS 801 1$bGIS 801 2$bGPO 906 $aBOOK 912 $a9910697320903321 996 $aGeophysical analysis of the Salmon Peak Formation near Amistad Reservoir Dam, Val Verde County, Texas, and Coahuila, Mexico, March 2006, to aid in piezometer placement$93445792 997 $aUNINA