SETHEO: A high-performance theorem prover 论文

1992Journal of Automated Reasoning引用 237
DOI
Logic, programming, and type systemsAdvanced Database Systems and QueriesAI-based Problem Solving and Planning
企业软件Advanced Database Systems and QueriesAI-based Problem Solving and PlanningLogic, programming, and type systems
关系图谱

4

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

W

Wolfgang Bibel

S

Stefan Bayerl

J

J. Schümann

R

Reinhold Letz

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据