1 option
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.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 10895
- Theoretical Computer Science and General Issues, 2512-2029 ; 10895
- Language:
- English
- Subjects (All):
- 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.
- Local Subjects:
- Formal Languages and Automata Theory.
- Software Engineering.
- Artificial Intelligence.
- Computer Science Logic and Foundations of Programming.
- Compilers and Interpreters.
- System Performance and Evaluation.
- Physical Description:
- 1 online resource (XVII, 642 pages) : 103 illustrations
- Edition:
- 1st ed. 2018.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2018.
- System Details:
- text file PDF
- Summary:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-94821-8
- 9783319948218
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.