Computation, Proof, Machine (Mathematics Enters A New Age) || Two Thousand Years of Computation
- 作者Dowek, Gilles; Guillot, Pierre; Roman, Marion
- 期第2期
- 文件大小195.39KB
- 发表时间2015
- DOI10.1017/CBO9781139026581.003
- 页码15-28
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