Browsing by Author Quigley, Claire
Showing results 1 to 1 of 1
Automation for interactive proof: First prototype
Author(s) | Meng, Jia; Quigley, Claire; Paulson, Lawrence C. |
---|---|
Type | Journal article |
Date Published | 2006 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator