OMDoc -- an open markup format for mathematical documents
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34800/Details |
|---|---|
| Glavni autor: | Kohlhase, Michael, 1964- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2006.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
4180. Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems. |
| Predmet: | |
| Online pristup: |
Table of contents only Publisher description |
| LEADER | 01626cam a22003857a 4500 | ||
|---|---|---|---|
| 005 | 20130713153417.0 | ||
| 008 | 060718s2006 gw a b 001 0 eng d | ||
| 010 | |a 2006931135 | ||
| 016 | 7 | |a 980678544 |2 GyFmDB | |
| 020 | |a 3540378979 (pbk.) | ||
| 020 | |a 9783540378976 | ||
| 035 | |a (OCoLC)ocm71200398 | ||
| 035 | |a (OCoLC)71200398 | ||
| 040 | |a OHX |c OHX |d BAKER |d CUS |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.95 |b .K65 2006 |
| 072 | 7 | |a QA |2 lcco | |
| 100 | 1 | |a Kohlhase, Michael, |d 1964- | |
| 245 | 1 | 0 | |a OMDoc -- an open markup format for mathematical documents : |b (version 1.2) / |c Michael Kohlhase ; foreword by Alan Bundy. |
| 246 | 3 | 0 | |a OMDoc |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2006. | ||
| 300 | |a xix, 428 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 4180. |a Lecture notes in artificial intelligence. |a AI systems | |
| 540 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Mathematics |x Data processing. | |
| 650 | 0 | |a Information storage and retrieval systems |x Mathematics. | |
| 650 | 0 | |a OMDoc (Document markup language) | |
| 830 | 0 | |a Lecture notes in computer science ; |v 4180. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |p AI systems. | |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0704/2006031135.html |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0825/2006031135-d.html |
| 906 | |a 7 |b cbc |c copycat |d 2 |e ncip |f 20 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a jx85 2006-11-28 z-processor |i jx85 2006-11-28 | ||
| 999 | |c 34800 |d 34800 | ||