مؤتمر
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 |
كن أول من يترك تعليقا!