×

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文件

按年份列出的引文