Artificial Intelligence and Symbolic Computation
Subtitle: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
Contributors: Jacques Calmet (Editor); Jan Plaza (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 16, 1998
Language: eng
Format: Paperback
Number of pages: 309
ISBN-13: 9783540649601
Subjects: Artificial Intelligence; Mathematical theory of computation; Mathematical And Symbolic Logic; Computers - General Information; Computers; Logic, Symbolic and mathematical; Computer Books: General; Logic, Symbolic and mathematic; Congresses; Artificial Intelligence - General; Computer Science; Logic; Algebraic Manipulation, Computer ALgebra, Formal Reasoning,; Computers / Artificial Intelligence; Inductive Logic Programming, Theorem Proving