退出
我的积分:
中文文献批量获取
外文文献批量获取
李瑞;
南开大学;
语言逻辑思想; 逻辑语形学; 逻辑语义学; 鲁道夫·卡尔纳普;
机译:关于胡塞尔对卡尔纳普的影响Guillermo E. Rosado Haddock:年轻的卡尔纳普不知名的大师:胡塞尔对空间和世界逻辑结构的影响。英国奥尔德肖特:阿什盖特(Ashgate),十二+ 138 pp,GB£50 HB
机译:形式逻辑与卡尔纳普对形而上学的拒绝:简短的反思
机译:达到移动目标:Gödel,卡尔纳普和数学作为逻辑语法†
机译:通过结构操作语义学的概率性轩尼诗-米尔纳逻辑的组合性
机译:了解逻辑经验主义:卡纳普(Carnap)的“语言逻辑句法”中的语言工程。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:逻辑实证主义语言及其对宗教语言的意义 - 鲁道夫卡尔纳普思想研究
机译:语义学与比较逻辑学
机译:连续制备卡尔博纳图·卡尔西科·普里西皮塔多的程序。
机译:用于将关键字组合到逻辑集群中的计算机实现的方法和系统,这些逻辑集群在考虑的维度上共享相似的行为
机译:用于将关键字组合到逻辑集群中的计算机实现的方法和系统,该逻辑集群在考虑的维度上共享相似的行为
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。