Title: Intelligent Computer Mathematics
Subjects: Mathematical Logic and Formal Languages, Logic design, Algebra, Information storage and retrieval systems, Information organization, Information retrieval, Math Applications in Computer Science, Logics and Meanings of Programs, Computer science, Data processing, Symbolic and Algebraic Manipulation, Artificial intelligence, Artificial Intelligence (incl. Robotics)