童悦早教编著2016 年出版39 页ISBN：9787538590432
白猫镇上有一位特殊的居民，他是一只从上到下都黝黑的黑猫，除了他，其他的居民都是白色的皮毛。黑猫山迪常常因为自己的特殊遭遇冷言冷语，但当他面对否定和歧视的时候，还是用自信和热情感染了大家。其实否定并不可...
贾青著2015 年出版186 页ISBN：9787516159521
范畴类型逻辑是当代自然语言逻辑中的一个重要分支，其使用逻辑学中的方法，甚至数学中的方法为自然语言问题的解决提供一条形式化的解决路径。当下范畴类型逻辑中主要有传统的范畴类型逻辑、多模态的范畴类型逻...
