|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002027709707536 |
|
|
Autore |
Kohlhase, Michael |
|
|
Titolo |
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
xix, 428 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
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 |
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
Soggetti |
|
Mathematics - Data processing |
Information storage and retrieval systems - Mathematics |
OMDoc (Document markup language) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|