Lists
Lists
Adams, A. A. (2003) A New Interface to PVS. In: Calculemus 2003. Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Aracne Editrice SRL, Rome, Rome, pp. 74-77.
| Additional Information | Calculemus 2003 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOLs 2003 and TABLEAUX 2003 Roma Italy – September 10-12, 2003 Version 1.5 of 2003, september 27 |
| Item Type | Book or Report Section |
| URI | https://reading-clone.eprints-hosting.org/id/eprint/20 |
| Item Type | Book or Report Section |
| Refereed | Yes |
| Divisions | Science |
| Additional Information | Calculemus 2003 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOLs 2003 and TABLEAUX 2003 Roma Italy – September 10-12, 2003 Version 1.5 of 2003, september 27 |
| Publisher | Aracne Editrice SRL, Rome |
| Download/View statistics | View download statistics for this item |
Deposit Details
University Staff: Request a correction | Centaur Editors: Update this record
