مؤتمر
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance
العنوان: | 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 |
كن أول من يترك تعليقا!