مؤتمر
Formalization of Dedekind Fundamental Theorem in Coq
| العنوان: | Formalization of Dedekind Fundamental Theorem in Coq |
|---|---|
| المؤلفون: | Leng, Shukun, Guo, Dakai, Yu, Wensheng |
| المصدر: | 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :6683-6687 Nov, 2023 |
| Relation: | 2023 China Automation Congress (CAC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350303759 9798350303742 |
|---|---|
| تدمد: | 26880938 |
| DOI: | 10.1109/CAC59555.2023.10450761 |