Robert Kowalski 人物
相关论文查看全部 (7)
The Semantics of Predicate Logic as a Programming Language
1976Journal of the ACM引用 1463
Logic for problem solving
1982ACM SIGSOFT Software Engineering Notes引用 1191
An abstract, argumentation-theoretic approach to default reasoning
1997Artificial Intelligence引用 671
Predicate Logic as Programming Language.
1974IFIP Congress引用 599
相关公司查看全部 (1)
Imperial College LondonUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据