01407nlm0 22003971i 450 9900092371504033219783540316831000923715FED01000923715(Aleph)000923715FED0100092371520100926d2005----km-y0itay50------baengDEdrnn-008mamaaLogic Based Program Synthesis and TransformationRisorsa elettronica14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papersedited by Sandro EtalleBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433573Documento elettronicoTestoFormato html, pdfEtalle,SandroITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b137785EB990009237150403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesLogic Based Program Synthesis and Transformation772041UNINA02050oam 2200553I 450 991071133170332120201119085910.0(CKB)5470000002482716(OCoLC)958982309(OCoLC)958983947(OCoLC)995470000002482716(EXLCZ)99547000000248271620160923d1915 ua 0engurn||||||||||txtrdacontentcrdamediacrrdacarrierWater resources of the Rio Grande basin, 1888-1913 /by Robert Follansbee and H.J. Dean, including Surface water supply of the United States, 1913part VIIIWestern Gulf of Mexico Basins / by Robert Follansbee, W.W. Follett, and Glenn A. GrayWashington, D.C. :United States Department of the Interior, Geological Survey,1915.Washington, D.C. :United States Government Printing Office.1 online resource (725 pages) illustrations, mapWater-supply paper ;no. 358Includes index.Surface water supply of the United States, 1913, part VIII, Western Gulf of Mexico BasinsWater-supplyRio Grande Watershed (Colo.-Mexico and Tex.)Water-supplySouthwestern StatesWater-supplyfastNorth AmericaRio Grande WatershedfastUnited StatesSouthwestern StatesfastOnline resources.Water-supplyWater-supplyWater-supply.Follansbee Robert1879-1952,1392801Follette W. W(William W.),1856-1915,Gray Glenn A.Geological Survey (U.S.),COPCOPOCLCOOCLCFGPOMERUCUNDGPOBOOK9910711331703321Water resources of the Rio Grande basin, 1888-19133517407UNINA01176cam2 22002651 450 SOBE0008174720250102095523.0089835000X20250102d1978 |||||ita|0103 baengUS<<1: >>Netherlandish artists [1]de Bije, du jardin, van Laer, van Ostade, Potter, Roos, van Ruisdael, Saftleven, van de Velde, de Vlieger, Weenix, Wouwermans]edited by Leonard J. Slatkeswith an introduction by Walter KoschatzkyNew YorkAbaris Books1978XXIV, 368 p.in gran parte ill.31 cm001SOB0221442001 <<The >>illustrated Bartsch / general editor: Walter L. Strauss ; [poi] founding editor Walter L. Strauss, general editor John T. Spike1Koschatzky, WalterSOBA00032273070Slatkes, Leonard J.AF00022045070ITUNISOB20250102RICAUNISOBUNISOBMuseo51508SOBE00081747M 102 Monografia moderna SBNMMuseo000001-1CON51508acquistoNmenleUNISOBUNISOB20250102084911.020250102090951.0menleUNISOB