Vai al contenuto principale della pagina
Titolo: |
Design and application of strategies/tactics in higher order logics / / edited by Myla Archer, Ben Di Vito, César Muñoz
![]() |
Pubblicazione: | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2003 |
Descrizione fisica: | 1 online resource (v, 107 pages, 1 unnumbered page) : illustrations |
Soggetto topico: | Theorem proving |
Semantics | |
Tactics | |
Computer programming | |
Calculus | |
Persona (resp. second.): | ArcherMyla |
VitoBen Di | |
MuñozCésar | |
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. |
Altri titoli varianti: | Design and application of strategies tactics in higher order logics |
Titolo autorizzato: | Design and application of strategies ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910701387403321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |