1.

Record Nr.

UNINA9910701387403321

Titolo

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

Pubbl/distr/stampa

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

Descrizione fisica

1 online resource (v, 107 pages, 1 unnumbered page) : illustrations

Collana

NASA/CP ; ; 2003-212448

Soggetti

Theorem proving

Semantics

Tactics

Computer programming

Calculus

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

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."

Nota di bibliografia

Includes bibliographical references and index.