Cover Image

Design and application of strategies/tactics in higher order logics /

Bibliographic Details
Corporate Author: United States. National Aeronautics and Space Administration (sponsoring body.)
Other Authors: Archer, Myla (Editor), Vito, Ben Di (Editor), Muñoz, César (Editor)
Format: Government Document eBook
Language:English
Published: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, September 2003.
Series:NASA conference publication ; 2003-212448.
Subjects:
Theorem proving.
Semantics.
Tactics.
Computer programming.
Calculus.
Online Access:https://purl.fdlp.gov/GPO/gpo53681
Description
Item Description:Title 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."
Physical Description:1 online resource (v, 107, 1 unnumbered pages) : illustrations.
Bibliography:Includes bibliographical references and index.