ENGLISH

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

By Dana S. Scott (auth.) , Jacques Calmet , John A. Campbell , Jochen Pfalzgraf (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1996
ISBN
3540617329, 9783540617327
DOI
10.1007/3-540-61732-9
LCC
Q334 .A766 1996
Open Library ID
OL1002437M
Language
english
Format
DJVU
Filesize
4 MB (4403337 bytes)
Series
Lecture Notes in Computer Science 1138
Edition
1
Pages
384\390
DPI
300
Scanned
yes
Time added
2011-08-31 04:54:40
Artificial Intelligence (incl. Robotics);Symbolic

Description

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.

Similar books