A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC
英
美
一种基于一阶谓词逻辑的模型表示方法
目录
查词历史
英 汉