كتاب إلكتروني
Incorporating a Database of Graphs into a Proof Assistant
| العنوان: | Incorporating a Database of Graphs into a Proof Assistant |
|---|---|
| المؤلفون: | Bauer, AndrejAff9, Aff10, Berčič, KatjaAff9, Aff10, Devillez, GauvainAff9, Taslak, JureAff9, Aff11, Aff12 |
| المساهمون: | Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Kohlhase, Andrea, editorAff7, Kovács, Laura, editorAff8 |
| المصدر: | Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings. 14960:146-162 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783031669965 9783031669972 |
|---|---|
| DOI: | 10.1007/978-3-031-66997-2_9 |