Artificial Intelligence and Symbolic Computation
Subtitle: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Jaques Calmet (Editor); Tetsuo Ida (Editor); Dongming Wang (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 19, 2006
Language: eng
Format: Paperback
Number of pages: 269
ISBN-13: 9783540397281
Subjects: Artificial intelligence; Computer Science; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Logic; Computers / Artificial Intelligence; algorithmics; automated deduction; computational geometry; computational logics; computational mathematics; computeralgebra; constraint processing; constructive mathematics; knowledge management; proof planning; symbolic computation; theorem proving systems