Intelligent Computer Mathematics

Materias

• 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

Ediciones (1)

• Intelligent Computer Mathematics (2012)

  Springer Berlin Heidelberg · inglés · ISBN 9783642313745

Más obras de Johan Jeuring

Advanced functional programming

Generic programming

PProceedings of the 19th ACM SIGPLAN International Conference

Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming