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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Avigad, Jeremy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mahboubi, Assia (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Theoretical Computer Science and General Issues ; 10895
• Θέματα: Mathematical logic.; Software engineering.; Artificial intelligence.; Computer logic.; Programming languages (Electronic computers).; Computer system failures.; Mathematical Logic and Formal Languages.; Software Engineering.; Artificial Intelligence.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; System Performance and Evaluation.
• Φυσική περιγραφή: XVII, 642 p. 103 illus. online resource.
• ISBN: 9783319948218
• DOI: 10.1007/978-3-319-94821-8

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.