OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy /

• Κύριος συγγραφέας: Kohlhase, Michael (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4180
• Θέματα: Computer science.; Computers.; Mathematical logic.; Computer science > Mathematics.; Information storage and retrieval.; Artificial intelligence.; Computer software.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Software.; Theory of Computation.; Information Storage and Retrieval.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional te...