OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Kohlhase, Michael
|
| Titolo: |
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
|
| Pubblicazione: | Berlin : Springer, c2006 |
| Descrizione fisica: | xix, 428 p. : ill. ; 24 cm |
| Titolo uniforme di collana: | Lecture notes in computer science ; 4180. |
| Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems | |
| Soggetto topico: | Mathematics - Data processing |
| Information storage and retrieval systems - Mathematics | |
| OMDoc (Document markup language) | |
| Classificazione: | CR I.2 |
| CR F.4 | |
| CR F.3.1 | |
| CR G.4 | |
| CR H.3 | |
| CR I.1 | |
| CR I.7 | |
| AMS 68P | |
| LC QA76.95.K64 | |
| Forme fisiche agg.: | Also issued online |
| Uso/riproduzione: | Includes bibliographical references and index |
| ISBN: | 3540378979 |
| 9783540378976 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991002027709707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems
Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems