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