Número de Cutter-SanbornS936aEntrada «Sturm» → 936 · marca de obra “a”

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
ISBN: 9783642210471

Autor	Thomas Sturm, Christoph Zengler
Editorial	Springer
Fecha de publicación	Sep 17, 2011
Páginas	236
Formato	paperback
ISBN-13	9783642210471
ISBN-10	3642210473
Número de Cutter	`S936a`

Automated Deduction in Geometry (2011) — ISBN 9783642210471 | Cutter Number