View Document Preview and Link Document Date: 2013-10-30 13:19:50 Open Document File Size: 187,97 KB Share Result on Facebook
City London / San Diego / / Company Academic Press Professional Inc. / Cambridge University Press / Paulson L.C. / / Country United States / United Kingdom / Ireland / / Currency pence / / / Facility By building / Newcastle University / University of Edinburgh / / IndustryTerm prover tactic applications / generic framework and tools / e.g. command/tactic applications / command applications / rule applications / proof search / applicable solution / software verification / / Organization Cambridge University / Newcastle University / University of Edinburgh / Proof Process Andrius Velykis School of Computing Science / AI4FM / School of Informatics / IEEE Computer Society / / Person Leo Freitas / Cliff Jones / Howe / / Position prototype proof planner / Butler / Proof Assistant / D.J. / / ProgrammingLanguage Java / / PublishedMedium Theoretical Computer Science / / Technology flash memory / artificial intelligence / Java / / URL http / SocialTag 
Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr