Design and application of strategies/tactics in higher order logics / / edited by Myla Archer, Ben Di Vito, César Muñoz
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |