FraCaS公司 swMATH ID: 27843 软件作者: 罗宾·库珀(Robin Cooper)、迪克·克劳奇(Dick Crouch)、扬·范·艾伊克(Jan Van Eijck)、克里斯·福克斯(Chris Fox)、约瑟夫·范·贾纳比特(Josef Van Genabith)、扬·阿斯帕斯(Jan Jaspars)、汉斯·坎普(Hans Kamp)、大卫·米尔沃德(David Milward)、曼弗雷德·平卡尔(Man 描述: FraCaS:计算语义框架。 主页: https://files.ifi.uzh.ch/cl/hess/classes/seminare/interface/framework.pdf 相关软件: GF公司;SICK公司;联普翻译;塑料;Coq公司;那不勒斯;ALF公司;GF公司;自动化;米扎尔;伊萨尔;哈斯克尔;枣灰蝶属;数学软件 引用于: 4文件 全部的 前5名7位作者引用 1 戴维·卡塔 1 斯特吉奥斯·查齐基里亚基迪斯 1 蒂姆·利希特 1 罗朝晖 1 阿恩·兰塔 1 史蒂文斯·盖尔、西蒙·乔里 1 克里斯蒂安·沃尔姆 连载1篇 1 逻辑、语言与信息杂志 在4个字段中引用 2 数学逻辑和基础(03-XX) 2 计算机科学(68-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文