Intelligent Computer Mathematics - bib.howest.be

Intelligent Computer Mathematics

Format:: e-book
Title:: Intelligent Computer Mathematics
Author:: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa; de Moura, Leonardo; Johansson, Moa; Miller, Bruce; Tompa, Frank
Language:: English
Publisher:: Springer International Publishing 2016
ISBN:: 3-319-42546-3
3-319-42547-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000765274?locale=en