Artificial Intelligence and Symbolic Mathematical Computation
Subtitle: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)
Contributors: Jaques Calmet (Editor); John A. Campbell (Editor); Jochen Pfalzgraf (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 30, 1996
Language: eng
Format: Paperback
Number of pages: 381
ISBN-13: 9783540617327
Subjects: Artificial Intelligence; Mathematical theory of computation; Mathematical And Symbolic Logic; Computers - General Information; Computers; Logic, Symbolic and mathematical; Science/Mathematics; Logic, Symbolic and mathematic; Congresses; Artificial Intelligence - General; Computer Science; Logic; Automatisches Schliessen; Computers / Artificial Intelligence; Ersetzungssysteme; Symbolisches Rechnen; Symbolisches Schliessen; Theorembeweisen; automated deduction; rewriting systems
First sentence: In his keynote address at the Second Annual Conference on Technology in Collegiate Mathematics in November 1989 at The Ohio State University (see the newsletter UME TRENDS, for January 1990), Professor Lynn Steen effectively spoke for parents and students, scientists and engineers, colleagues and administrators by raising the following twenty questions for calculus reformers.