Roman, Marion

Overview

Works:	1 works in 1 publications in 1 languages

Titles

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

Subjects