Research Catalog
OMDoc -- an open markup format for mathematical documents : (version 1.2)
- Title
- OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy.
- Author
- Kohlhase, Michael, 1964-
- Publication
- Berlin ; New York : Springer, [2006], ©2006.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.95 .K64 2006 | Off-site |
Holdings
Details
- Description
- xix, 428 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 4180. Lecture notes in artificial intelligence. AI systems
- Uniform Title
- Lecture notes in computer science ; 4180.
- Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
- Subjects
- Additional Formats (note)
- Also issued online.
- Terms of Use (note)
- Includes bibliographical references and index.
- ISBN
- 3540378979 (pbk.)
- 9783540378976 (pbk.)
- LCCN
- 2006031135
- OCLC
- 71200398
- ocm71200398
- SCSB-5275588
- Owning Institutions
- Columbia University Libraries