|
|||||
|
|
The IJCAR ATP System Competition |
|
| Authors: | G. Sutcliffe C. B. Suttner F. J. Pelletier |
| Affiliation: | (1) Department of Computer Science, University of Miami, U.S.A. e-mail;(2) Cirrus Management, München, Germany. e-mail;(3) Department of Computing Science, University of Alberta, Canada. e-mail |
| Abstract: | The results of the IJCAR ATP System Competition are presented. |
| Keywords: | competition automated theorem proving |
| 本文献已被 SpringerLink 等数据库收录！ | |