Computation, Proof, Machine (Mathematics Enters A New Age) || Intuitionistic Type Theory
- 作者Dowek, Gilles; Guillot, Pierre; Roman, Marion
- 期第9期
- 文件大小79.36KB
- 发表时间2015
- DOI10.1017/CBO9781139026581.010
- 页码89-95
Computation, Proof, Machine (Mathematics Enters A New Age) || Proof CheckingDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || ConstructivityDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || BibliographyDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || InstrumentsDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Biographical LandmarksDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Predicate LogicDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Two Thousand Years of ComputationDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Church's ThesisDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || ConstructivityDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || BibliographyDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || InstrumentsDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Proof CheckingDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Biographical LandmarksDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Predicate LogicDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Church's ThesisDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015
Computation, Proof, Machine (Mathematics Enters A New Age) || Intuitionistic Type TheoryDowek, Gilles; Guillot, Pierre; Roman, Marion · 2015