Back to Results
First PageMeta Content
Automated theorem proving / Mathematical logic / Formal methods / Logic in computer science / Mathematical proof / Proof assistant / KeY / Rippling / Theorem / Logic / Mathematics / Theoretical computer science


Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract
Add to Reading List

Document Date: 2013-10-30 13:19:51

Open Document

File Size: 107,66 KB

Share Result on Facebook

Company

CNF / Cambridge University Press / MIT Press / Vehicle Based Software / Siemens / /

Country

United States / Ireland / /

Currency

pence / EUR / /

/

Facility

Newcastle University / University of Oslo / Institute of Informatics / TPTP Problem Library / Tokeneer ID station / /

IndustryTerm

earliest applications / proof tools / learning/mining / theories/tools / computing / proof search / /

Organization

Cambridge University / Institute of Informatics / MIT / Newcastle University / Jones School of Computing Science / University of Oslo / European Union / /

Person

Tobias Nipkow / David R. Cok / Jean-Louis Lanet / Michal Moskal / Thomas Santen / Evan Chang / Traian Muntean / Lilian Burdy / Susanne Graf / Ernie Cohen / Dirk Leinenbach / Rod Chapman / Stephan Tobies / Robert DeLine / K. Rustan M. Leino / Jim Davies / Albert L. Baker / Jim Woodcock / Marcello M. Bonsangue / Bart Jacobs / Markus Dahlweid / Donald MacKenzie / Leo Freitas / Herman Venter / Jia Meng / Janet Barnes / Lawrence C. Paulson / Willem P. de Roever / Makarius Wenzel / David Copper / Clyde Ruby / Joseph Kiniry / Jean-Raymond Abrial / Cliff B. Jones / Michael Barnett / Wolfram Schulte / Marieke Huisman / Christian Urban / Mark A. Hillebrand / Baird III / /

Position

theorem proving assistant / /

ProgrammingLanguage

Ada / Java / C / /

PublishedMedium

Formal Aspects of Computing / The International Journal / Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

artificial intelligence / Java / machine learning / /

URL

http /

SocialTag