一阶谓词演算(First Order Predicate Calculus)
早在1967年，Woods就研究了在自然语言的问答系统中类似于一阶谓词演算（FOPC）的表示方法，用这种方法来代替当时在这个领域的那些针对性很强（ad hoc）的表示方法。
基于26个网页-相关网页
一阶谓词演算 first-order logic; first-order predicate calculus; fopc 一元谓词演算 monadic predicate calculus; one place predicate calculus; unary predicate calc ..
基于4个网页-相关网页
... EPOC 一套针对手持式掌上装置的作业系统 FOPC 塔的朋友 ADT 自动数据变换 ...
基于4个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress