会议论文详细信息
| Natural Forests in the Temperate Zone of Europe – Values and Utilisation | |
| Maintaining the ACL2 Theorem Proving System | |
| Matt Kaufmann ; J Strother Moore | |
| Others : http://CEUR-WS.org/Vol-192/paper01.pdf PID : 389 |
|
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
This talk will provide a view into the task of improving the ACL2 theorem prover to meet users' needs.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| Maintaining the ACL2 Theorem Proving System | 859KB |  download |
878987797
028-85220240
