Show
1 citations
related to Dowek, Gilles
Show
1 citations
related to Dowek, Gilles as an author
Book
Gilles Dowek
(2015)
Computation, Proof, Machine: Mathematics Enters a New Age.
(/isis/citation/CBB051353110/)
Be the first to comment!