Second-order logic

相关论文数: 1

顶级研究者

Richard Waldinger

研究机构: —

Zohar Manna

研究机构: —

最高引用论文

How to clear a block: Plan formation in situational logic

Zohar Manna, Richard Waldinger

引用数: 11 • 1986

相关技术

Artificial intelligence Computer science Mathematics Inference Theoretical computer science Programming language Mathematical proof Situational ethics Epistemology Plan (archaeology)