التفاصيل البيبلوغرافية
| العنوان: |
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance |
| المؤلفون: |
Cao, Feng, Xu, Yang, Chen, ShuWei, Ning, XinRan, Wu, GuanFeng |
| المصدر: |
2019 IEEE 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Intelligent Systems and Knowledge Engineering (ISKE), 2019 IEEE 14th International Conference on. :69-73 Nov, 2019 |
| Relation: |
2019 IEEE 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
