A Diagrammatic Inference System with Euler Circles
Faculty: Keio University Faculty of Letters
Faculty: Keio University Faculty of Letters
Faculty: Keio University Faculty of Letters
LNCS 4600 - Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic <TEX>$\lambda$</
Faculty: Keio University Faculty of Letters
The stabilizing role of aggressive children in affiliative social networks among preschoolers
Historical Overview of Arts Management Education in Japan during the late 1980s to the 2000s
Computerâ•'based teaching of Kanji construction and writing in a student with developmental disabilities
A direct independence proof of Buchholz's Hydra Game on finite labeled trees
Keio University Global Page - The international Keio University and University of Vienna (Universität Wien) symposium “New Directions in Empirical Research of Humanity” will be held on March 7 at the Global
The Best Route Is Not Always the Easiest One: Spatial References in Heuristics of Route Choice