Interactive Theorem Proving [[electronic resource] ] : 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 |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVII, 642 p. 103 illus.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
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 |
ISBN | 3-319-94821-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465696803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVII, 642 p. 103 illus.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
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 |
ISBN | 3-319-94821-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349426503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs / / edited by Assia Mahboubi, Magnus O. Myreen |
Pubbl/distr/stampa | New York, NY : , : ACM, , 2019 |
Descrizione fisica | 1 online resource (261 pages) : illustrations |
Disciplina | 004.0151 |
Soggetto topico | Computer science - Mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910375779303321 |
New York, NY : , : ACM, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|