Cargando…

Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’

Robin Milner's paper, ‘The use of machines to assist in rigorous proof’, introduces methods for automating mathematical reasoning that are a milestone in the development of computer-assisted theorem proving. His ideas, particularly his theory of tactics, revolutionized the architecture of proof...

Descripción completa

Detalles Bibliográficos
Autor principal: Gordon, M. J. C.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: The Royal Society Publishing 2015
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4360087/
https://www.ncbi.nlm.nih.gov/pubmed/25750147
http://dx.doi.org/10.1098/rsta.2014.0234