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
关系图谱

SETHEO: A high-performance theorem prover · 相关技术

暂无数据