LEADER 01963nam  2200517I  450 
001 9910701387403321
005 20141203134100.0
035   $a(CKB)5470000002417190
035   $a(OCoLC)897379227
035   $a(EXLCZ)995470000002417190
100   $a20141203j200309    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aDesign and application of strategies/tactics in higher order logics /$fedited by Myla Archer, Ben Di Vito, Ce?sar Mun?oz
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dSeptember 2003.
215   $a1 online resource (v, 107 pages, 1 unnumbered page) $cillustrations
225 1 $aNASA/CP ;$v2003-212448
300   $aTitle from title screen (viewed Dec. 3, 2014).
300   $a"September 2003."
300   $a"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."
320   $aIncludes bibliographical references and index.
517 3 $aDesign and application of strategies tactics in higher order logics
606   $aTheorem proving$2nasat
606   $aSemantics$2nasat
606   $aTactics$2nasat
606   $aComputer programming$2nasat
606   $aCalculus$2nasat
615  7$aTheorem proving.
615  7$aSemantics.
615  7$aTactics.
615  7$aComputer programming.
615  7$aCalculus.
702   $aArcher$b Myla
702   $aVito$b Ben Di
702   $aMun?oz$b Ce?sar
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701387403321
996   $aDesign and application of strategies$93201419
997   $aUNINA