Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs

Title Design and application of strategies/tactics in higher order logics / edited by Myla Archer, Ben Di Vito, César Muñoz.

Publication Info. Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, September 2003.

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2003-212448    ---  Available
Description 1 online resource (v, 107, [1] pages) : illustrations.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series NASA/CP ; 2003-212448
NASA conference publication ; 2003-212448.
Note 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."
Bibliography Includes bibliographical references and index.
Contents Writing PVS proof strategies / Sam Owre, Natarajan Shankar -- Developing user strategies in PVS: a tutorial / Myla Archer, Ben Di Vito, César Muñoz -- Strategy-enhanced interactive proving and arithmetic simplification for PVS / Ben L. Di Vito -- First-order proof tactics in higher-order logic theorem provers / Joe Hurd -- Coq tacticals and PVS strategies: a small step semantics / Florent Kirchner -- Rippling in PVS / A.A. Adams, L.A. Dennis -- Generating proof-specific strategies for PVS / Pertti Kellomäki -- Developing strategies for specialized theorem proving about untimed, timed, and hybrid I/O automata / Sayan Mitra, Myla Archer.
Funding Sponsored by the National Aeronautics and Space Administration 23-704-03-50
L-18328
Subject Theorem proving.
Semantics.
Tactics.
Computer programming.
Calculus.
Added Author Archer, Myla, editor.
Di Vito, Ben L., editor.
Mu˜noz, Cesar A., 1968- editor.
Langley Research Center, issuing body.
United States. National Aeronautics and Space Administration, sponsoring body.
Added Title Design and application of strategies tactics in higher order logics
Other Form: Print version: Design and application of strategies/tactics in higher order logics (OCoLC)53481769
Gpo Item No. 0830-H-10 (online)
Sudoc No. NAS 1.26:2003-212448

 
    
Available items only