학술논문
Correspondence analysis and automated proof-searching for first degree entailment
Document Type
Article
Author
Source
In: European Journal of Mathematics . (European Journal of Mathematics, December 2020, 6(4):1452-1495)
Subject
Language
English
ISSN
21996768
2199675X
2199675X