Login / Signup
Shigenori Iwata
Publication Activity (10 Years)
Years Active: 1990-1990
Publications (10 Years): 0
</>
Publications
</>
Noritaka Nishihara
,
Kenichi Morita
,
Shigenori Iwata
An extended syllogistic system with verbs and proper nouns, and its completeness proof.
Systems and Computers in Japan
21 (1) (1990)