An efficient reasoning method for syllog
✍
Kenichi Morita; Noritaka Nishihara; Eriko Emura
📂
Article
📅
1988
🏛
John Wiley and Sons
🌐
English
⚖ 913 KB