학술논문
A complementary ratio based clause selection method for contradiction separation dynamic deduction
Document Type
Article
Author
Source
In Knowledge-Based Systems 25 January 2024 284
Subject
Language
ISSN
0950-7051