Regressive Merging in Model Elimination Tableau-Based Theorem Provers |
| |
Authors: | WALLACE KEVIN; WRIGHTSON GRAHAM |
| |
Institution: | Department of Computer Science, University of Newcastle NSW 2308, Australia E-mail:kevin.graham{at}cs.newcastle.edu.au |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|