|
|||||
|
|
Introduction to <Emphasis Type="Italic">Milestones in Interactive Theorem Proving</Emphasis> |
|
| Authors: | Jeremy Avigad Jasmin Christian Blanchette Gerwin Klein " target="_blank">Lawrence Paulson Andrei Popescu Gregor Snelting |
| Affiliation: | 1.Department of Philosophy,Carnegie Mellon University,Pittsburgh,USA;2.Theoretical Computer Science,Vrije Universiteit Amsterdam,Amsterdam,Netherlands;3.Trustworthy Systems Research Group, Data61, CSIRO,Sydney,Australia;4.Computer Laboratory,University of Cambridge,Cambridge,UK;5.School of Science and Technology,Middlesex University London,London,UK;6.Department of Computer Science,Karlsruhe Institute of Technology,Karlsruhe,Germany |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |