كتاب إلكتروني
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 |
ردمك: | 9789819739509 9789819739516 |
---|---|
DOI: | 10.1007/978-981-97-3951-6_5 |