Guillot, Pierre (1978-)

[NT 60487] Overview

[NT 60478] Works:	1 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

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

[NT 60479] Subjects