Guillot, Pierre (1978-)

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Computation, proof, machine : mathematics enters a new age by: Dowek, Gilles; Guillot, Pierre (1978-); Roman, Marion (Language materials, printed)

Subjects