Mechanical geometry theorem proving

Shang-Ching Chou 1942-

Localização: IME - Inst. Matemática e Estatística (QA860 C552m )(Acessar)

Título:
Mechanical geometry theorem proving
Autor: Shang-Ching Chou 1942-
Assuntos: Automatic theorem proving; INTELIGÊNCIA ARTIFICIAL; Geometry Theorems Proof Applications of computer systems
Notas: Bibliography: p. 192
Títulos relacionados: Série:Mathematics and its applications (D. Reidel Publishing Company)
Editor: Dordrecht Boston D. Reidel Pub. Co. Norwell, MA, U.S.A. Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
Data de criação/publicação: c1988
Formato: xii, 362 p. ill. 25 cm.
Idioma: Inglês

Links

Voltar para lista de resultados