Mechanical geometry theorem proving

Detalles Bibliográficos
Autor principal: Chou, Shang-Ching, 1942- (-)
Formato: Libro
Idioma:Inglés
Publicado: Dordrecht [etc.] : D. Reidel 1988.
Colección:Mathematics and its Applications (D. Reidel)
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004039519703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indices.
Descripción Física:xii, 362 p. : il. ; 25 cm
Bibliografía:Bibliogr.: p. 192.
ISBN:9789027726506