Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / / edited by Jeremy Avigad, Assia Mahboubi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / / edited by Jeremy Avigad, Assia Mahboubi
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Edizione: | 1st ed. 2018. |
| Descrizione fisica: | 1 online resource (XVII, 642 p. 103 illus.) |
| Disciplina: | 004.015113 |
| Soggetto topico: | Machine theory |
| Software engineering | |
| Artificial intelligence | |
| Computer science | |
| Compilers (Computer programs) | |
| Electronic digital computers—Evaluation | |
| Formal Languages and Automata Theory | |
| Software Engineering | |
| Artificial Intelligence | |
| Computer Science Logic and Foundations of Programming | |
| Compilers and Interpreters | |
| System Performance and Evaluation | |
| Persona (resp. second.): | AvigadJeremy |
| MahboubiAssia | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Sommario/riassunto: | Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
| Titolo autorizzato: | Interactive Theorem Proving |
| ISBN: | 3-319-94821-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349426503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 10895