Rajaa
Hakutulokset: 9780521118019
Rajaa
yksi hakutulos.
Computation, Proof, Machine
sidottu,
2015,
englanti,
ISBN 9780521118019
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in …