Skip navigation
Skip navigation

Automation for interactive proof: First prototype

CollectionsANU Research Publications
Date published: 2006
Type: Journal article
Source: Information and Computation


File Description SizeFormat Image
01_Meng_Automation_for_interactive_2006.pdf1.19 MBAdobe 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