Artificial Intelligence and Symbolic Mathematical Computing
Subtitle: International Conference Aismi1, Karlsruhe, Germany, August 3-6, 1992. Proceedings (Lecture Notes in Computer Science)
Contributors: Jacques Calmet (Editor); John A. Campbell (Editor)
Publisher: Not Avail
Published: November 1993
Language: eng
Format: Paperback
Number of pages: 305
ISBN-13: 9783540573227
Subjects: Artificial intelligence; Mathematical theory of computation; Logic, Symbolic and mathematic; Computers - General Information; Logic; Programming - Algorithms; Artificial Intelligence - General; Congresses