Número de Cutter-SanbornK79iEntrada «Koh» → 79 · marca de obra “i”

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
ISBN: 9783319425467

9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Autor	Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
Editorial	Springer

Intelligent Computer Mathematics (2016) — ISBN 9783319425467 | Cutter Number