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 AlgorithmsLogic, programming, and type systemssemigroups and automata theory
相关技术:Computability, Logic, AI Algorithms
关系图谱

Logic for computer science: foundations of automatic theorem proving · 作者

J

Jean Gallier