مؤتمر
Formalizing the Term Substitution Theorem in First-Order Logic within the Coq Proof Assistant
| العنوان: | Formalizing the Term Substitution Theorem in First-Order Logic within the Coq Proof Assistant |
|---|---|
| المؤلفون: | Guo, Dakai, Wang, Qiming, Liu, Jianghao, Yu, Wensheng |
| المصدر: | 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :2792-2796 Nov, 2023 |
| Relation: | 2023 China Automation Congress (CAC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350303759 9798350303742 |
|---|---|
| تدمد: | 26880938 |
| DOI: | 10.1109/CAC59555.2023.10450918 |