Some Research Issues in Higher Order Logic Theorem Proving

書目詳細資料
主要作者: Melham, T
格式: Report
出版: Department of Computer Science‚ University of Aarhus 1996

相似書籍