1994 | Buch

# Mechanical Theorem Proving in Geometries

## Basic Principles

Buchreihe: Texts and Monographs in Symbolic Computation

Autor: Dr. Wen-tsün Wu

Verlag: Springer Vienna

Print ISBN: 978-3-211-82506-8

Electronic ISBN: 978-3-7091-6639-0

Enthalten in: Professional Book Archive