Zeroth-order logic

相关论文数: 1

顶级研究者

Giorgi Japaridze

研究机构: —

最高引用论文

The Propositional Logic of Elementary Tasks

Giorgi Japaridze

引用数: 6 • 2000

相关技术

Computer science Task (project management)Theoretical computer science Programming language Semantics (computer science)Soundness Decidability Description logic Multimodal logic Autoepistemic logic