Design and application of strategies/tactics in higher order logics
By: edited by Myla Archer, Ben Di Vito, César Muñoz
Contributors: Langley Research Center; United States. National Aeronautics and Space Administration
Series: NASA/CP -- 2003-212448; NASA conference publication -- 2003-212448
Publisher: National Aeronautics and Space Administration, Langley Research Center
Published: 2003
Place of publication: Hampton, Virginia
Language: eng
Number of pages: 107
Subjects: Theorem proving; Semantics; Tactics; Computer programming; Calculus
Other titles: Design and application of strategies tactics in higher order logics
Notes: 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."

Includes bibliographical references and index.

Sponsored by the National Aeronautics and Space Administration 23-704-03-50

L-18328