Artificial Intelligence and Symbolic Mathematical Computation | International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings. Este artículo no está disponible.
Idioma: inglés
Editorial: Springer, 1996
- Tapa blanda
- Nuevo
Imagen del artículo 1 de 2.
Librería: preigu, Osnabrück, Alemaniapreigu
Vendedor de 5 estrellas
Vendedor de IberLibro desde 5 de agosto de 2024
No disponible
Tapa blanda
Condición: Nuevo
EUR 50,25
Descripción del artículo del vendedor
Artificial Intelligence and Symbolic Mathematical Computation | International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings | Jaques Calmet (u. a.) | Taschenbuch | viii | Englisch | 1996 | Springer | EAN 9783540617327 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
N° de ref. del artículo 106809439
- Título
- Artificial Intelligence and Symbolic Mathematical Computation | International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
- Autor
- Jaques Calmet (u. a.)
- Editorial
- Springer
- Año de publicación
- 1996
- Estado
- Neu
- Encuadernación
- Taschenbuch
- Idioma
- inglés
- ISBN 10
- 3540617329
- ISBN 13
- 9783540617327
- Peso del artículo
- 598 gramos
- Dimensiones
- 235 x 155 x 22 mm
- Catálogos de vendedores
- Bücher
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.
The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
“Sinopsis” puede pertenecer a otra edición de este título.
De la contraportada
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996. The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.
“Acerca de” puede pertenecer a otra edición de este título.