A Shell for Generic Interactive Proof Search
作者:
Aleksey Novodvorsky,
Aleksey Smirnov,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1998)
卷期:
Volume 8,
issue 1-2
页码: 123-140
ISSN:1166-3081
年代: 1998
DOI:10.1080/11663081.1998.10510935
出版商: Taylor & Francis Group
关键词: inference;unification;interactive proof search
数据来源: Taylor
摘要:
This paper presents an attempt to create a shell for generic interactive proof search and proof assistant software based on it.
点击下载:
PDF (745KB)
返 回