Items where Author / Artist / Editor is "Fontaine, Pascal"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Popescu, Andrei and Traytel, Dmitriy (2019) A formally verified abstract account of Gödel's incompleteness theorems. Fontaine, Pascal, ed. Automated Deduction – CADE 27. CADE 2019. Lecture Notes in Computer Science, vol 11716. In: CADE 27 - 27th International Conference on Automated Deduction, 27-30 Aug 2019, Natel, Brazil. ISBN 9783030294359, e-ISBN 9783030294366. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-29436-6_26)
