Skip navigation
Skip navigation

Automation for interactive proof: First prototype

dc.contributor.authorMeng, Jia
dc.contributor.authorQuigley, Claire
dc.contributor.authorPaulson, Lawrence C.
dc.date.accessioned2015-12-07T22:23:29Z
dc.identifier.issn0890-5401
dc.identifier.urihttp://hdl.handle.net/1885/20715
dc.publisherAcademic Press
dc.sourceInformation and Computation
dc.source.urihttp://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c
dc.titleAutomation for interactive proof: First prototype
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume204
dc.date.issued2006
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB13
local.type.statusPublished Version
local.contributor.affiliationMeng, Jia, College of Engineering and Computer Science, ANU
local.contributor.affiliationQuigley, Claire, University of Cambridge
local.contributor.affiliationPaulson, Lawrence C., University of Cambridge
local.description.embargo2037-12-31
local.bibliographicCitation.issue10
local.bibliographicCitation.startpage1575
local.bibliographicCitation.lastpage1596
dc.date.updated2015-12-07T09:17:36Z
CollectionsANU Research Publications

Download

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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator