01963nam 2200517I 450 991070138740332120141203134100.0(CKB)5470000002417190(OCoLC)897379227(EXLCZ)99547000000241719020141203j200309 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierDesign and application of strategies/tactics in higher order logics /edited by Myla Archer, Ben Di Vito, César MuñozHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,September 2003.1 online resource (v, 107 pages, 1 unnumbered page) illustrationsNASA/CP ;2003-212448Title from title screen (viewed Dec. 3, 2014)."September 2003.""Proceedings of a workshop sponsored by the Naval Research Laboratory, the National Aeronautics and Space Administration and the National Institute of Aerospace and held in Rome, Italy September 8, 2003."Includes bibliographical references and index.Design and application of strategies tactics in higher order logicsTheorem provingnasatSemanticsnasatTacticsnasatComputer programmingnasatCalculusnasatTheorem proving.Semantics.Tactics.Computer programming.Calculus.Archer MylaVito Ben DiMuñoz CésarLangley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910701387403321Design and application of strategies3201419UNINA