Artificial Intelligence and Symbolic Computation
Subtitle: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings (Lecture Notes in Computer Science)
Contributors: Bruno Buchberger (Editor); John A. Campbell (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 10, 2004
Language: eng
Format: Paperback
Number of pages: 285
ISBN-13: 9783540232124
Subjects: Artificial intelligence; Logic, Symbolic and mathematical; Computers - General Information; Computer Books: General; Computers; Logic, Symbolic and mathematic; Logic; Congresses; Artificial Intelligence - General; Computer Science; Computers / Artificial Intelligence; Computers : Computer Science; Mathematics : Logic; algorithmics; automated deduction; computational geometry; computational logics; computational mathematics; computeralgebra; constraint processing; General
First sentence: What is the nature of mathematics?