|
|||||
|
|
Decision procedures and model building in equational clause logic |
|
| Authors: | Fermuller CG; Leitsch A |
| Institution: | Technische Universitat Wien, Institut fur Computersprachen 185.2, Resselgasse 3/1, A-1040 Vienna, Austria A1 E-mail: chrisf@logic.at A2 E-mail: leitsch@logic.at |
| Abstract: | |
| Keywords: | model building resolution paramodulation decisionprocedures |
| 本文献已被 Oxford 等数据库收录！ | |