Search

You searched for: Auteur Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa Remove constraint Auteur: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
1 entry found
Number of results to display per page

Search Results

1. Intelligent Computer Mathematics
thumbnail
Full text!
Author:
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa; de Moura, Leonardo; Johansson, Moa; Miller, Bruce; Tompa, Frank
Publisher:
Springer International Publishing 2016
Format:
e-book