The use of machines to assist in rigorous proof

Authors:
R. Milner
Affiliations:
Univ. of Edinburgh, UK
Venue:
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Year:
1985

Reusing software developments

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Theorems and algorithms: an interface between Isabelle and Maple

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Deductive Runtime Certification

Electronic Notes in Theoretical Computer Science (ENTCS)
Proof analogy in interactive theorem proving: a method to express and use it via second order pattern matching

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Proof analogy in interactive theorem proving: a method to express and use it via second order pattern matching

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

Hi-index	0.00