كتاب إلكتروني
Formal Proof of Meta-Theorem in First-Order Logic in Coq
| العنوان: | Formal Proof of Meta-Theorem in First-Order Logic in Coq |
|---|---|
| المؤلفون: | Wang, QimingAff9, Liu, JianghaoAff9, Guo, DakaiAff9, Yu, WenshengAff9 |
| المساهمون: | Filipe, Joaquim, Editorial Board MemberAff1, Ghosh, Ashish, Editorial Board MemberAff2, Zhou, Lizhu, Editorial Board MemberAff3, Zhang, Lin, editorAff4, Yu, Wensheng, editorAff5, Wang, Quan, editorAff6, Laili, Yuanjun, editorAff7, Liu, Yongkui, editorAff8 |
| المصدر: | Intelligent Networked Things : The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I. 2138:45-52 |
| قاعدة البيانات: | Springer Nature eBooks |
كن أول من يترك تعليقا!