skip to main content
Idioma:
Refinado por: materia: Lógica Matemática eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings
Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings

International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China) Xiao-Shan Gao; Dongming Wang; Lu Yang 1936-

Carbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin : Springer-Verlag, c1994-

Berlin Springer New York c1999

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1669 e.1 ) y otras localizaciones(Obténgalo)

Personalizar los resultados

  1. Editar

Refine Search Results

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. International Workshop on Automated Deduction in Geometry
  2. Yang, L
  3. Wang, D
  4. Gao, X

con este tema:

  1. Geometry
  2. Logic, Symbolic And Mathematical
  3. Automatic Theorem Proving
  4. Inteligência Artificial

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere