Some Research Issues in Higher Order Logic Theorem Proving

书目详细资料
主要作者: Melham, T
格式: Report
出版: Department of Computer Science‚ University of Aarhus 1996

相似书籍