|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Soggetti |
|
Theorem proving |
Semantics |
Tactics |
Computer programming |
Calculus |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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. |
|
|
|
|
|
| |