Vol-1099⫷ Vol-1100 ⫸Vol-1101
urn:nbn:de:0074-1100-0


None⫷None
Yuri Sato 0001Yutaro SugimotoShigeyuki Nakayama

Towards a Formalization of Mental Model Reasoning for Syllogistic Fragments