학술논문
A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll’s diagrams
Document Type
Article
Source
In Information Sciences November 2021 578:236-256
Subject
Language
ISSN
0020-0255