01467nlm0 22004331i 450 9900092521804033219783540733683000925218FED01000925218(Aleph)000925218FED0100092521820100926d2007----km-y0itay50------baengDEdrnn-008mamaaComputer Aided VerificationRisorsa elettronica19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedingsedited by Werner Damm, Holger HermannsBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434590Documento elettronicoTestoFormato html, pdfDamm,WernerHermanns,HolgerITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73368-3EB990009252180403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringComputer Aided Verification772228UNINA01316oam 2200421zu 450 99620274690331620210807004642.01-118-66474-4(CKB)3450000000004375(SSID)ssj0000815130(PQKBManifestationID)11464072(PQKBTitleCode)TC0000815130(PQKBWorkID)10802854(PQKB)10850813(PPN)178671320(EXLCZ)99345000000000437520160829d1999 uy engtxtccrMechanisms of Global Climate Change at Millennial Time Scales[Place of publication not identified]American Geophysical Union1999Bibliographic Level Mode of Issuance: Monograph0-87590-095-X Earth & Environmental SciencesHILCCMeteorology & ClimatologyHILCCEarth & Environmental SciencesMeteorology & Climatology551.5/253Keigwin Lloyd D965243WebberRobert SClark Peter UPQKBBOOK996202746903316Mechanisms of Global Climate Change at Millennial Time Scales2189976UNISA02776oam 2200529M 450 991071540300332120191116081226.8(CKB)5470000002512019(OCoLC)1065810940(OCoLC)995470000002512019(EXLCZ)99547000000251201920070221d1826 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierPledge of the U. States to the governments of Mexico and S. America. Message from the President of the United States, transmitting the information required by the resolution of the House of Representatives of the 27th instant, in relation to the instructions given to the minister of the U. States to the government of Mexico ; as also in relation to any pledge on the part of the United States to the governments of Mexico or Southern America, &c. March 30, 1826. Read, and laid upon the table[Washington, D.C.] :[publisher not identified],1826.1 online resource (10 pages)House document / 19th Congress, 1st session. House ;no. 142[United States congressional serial set ] ;[serial no. 138]Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes.FDLP item number not assigned.International relationsTerritories and possessionsAmbassadorsDiplomatsSpainTerritories and possessionsLegislative materials.lcgftInternational relations.Territories and possessions.Ambassadors.Diplomats.Adams John Quincy1767-1848.202825Clay Henry1777-1852Republican-Jeffersonian (KY)113524Poinsett Joel Roberts1779-1851Party affiliation unknown (SC)1386742United States.President (1825-1829 : Adams)United States.Department of State.WYUWYUOCLCOOCLCQBOOK9910715403003321Pledge of the U. States to the governments of Mexico and S. America. Message from the President of the United States, transmitting the information required by the resolution of the House of Representatives of the 27th instant, in relation to the instructions given to the minister of the U. States to the government of Mexico ; as also in relation to any pledge on the part of the United States to the governments of Mexico or Southern America, &c. March 30, 1826. Read, and laid upon the table3435916UNINA