Logic for computer science: foundations of automatic theorem proving 论文

1985引用 410

Logic, programming, and type systemssemigroups and automata theoryComputability, Logic, AI Algorithms

Computability, Logic, AI Algorithms Logic, programming, and type systems semigroups and automata theory

相关技术:Computability, Logic, AI Algorithms

Logic for computer science: foundations of automatic theorem proving · 相关事件

暂无数据