|
|||||
|
|
Towards structurally-free theorem proving |
|
| Authors: | Finger M |
| Affiliation: | Departamento de Ciencia da Computacao, Instituto de Matematica e Estatistica, Universidade de Sao Paulo, 05508-900, Sao Paulo, Brazil E-mail: mfinger@ime.usp.br |
| Abstract: | |
| Keywords: | Structurally-Free Logic Automated Deduction SubstructuralLogic |
| 本文献已被 Oxford 等数据库收录！ | |