Automation for interactive proof: First prototype
| Collections | ANU Research Publications |
|---|---|
| Date published: | 2006 |
| Type: | Journal article |
| URI: | http://hdl.handle.net/1885/20715 |
| Source: | Information and Computation |
Download
| File | Description | Size | Format | Image |
|---|---|---|---|---|
| 01_Meng_Automation_for_interactive_2006.pdf | 1.19 MB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906
