| 000 | 01122nam a2200277zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131624.0 | ||
| 008 | 070416s2006 gw a 001 0 eng d | ||
| 020 | _a3540378979 (rústica) | ||
| 020 | _a978-3-540-37897-6 | ||
| 035 | _aMX001001097907 | ||
| 040 |
_aOHX _bspa _cOHX _dBAKER _dCUS _dDLC _dUNAMX |
||
| 050 | 4 |
_aQA76.95 _bK66 2006 |
|
| 100 | 1 |
_aKohlhase, Michael, _d1964-, _eautor |
|
| 245 | 1 | 0 |
_aOMDoc -- an open markup format for mathematical documents : _b(version 1.2) / _cMichael Kohlhase ; foreword by Alan Bundy |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2006 |
|
| 300 |
_axix, 428 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science ; _v4180 _pLecture notes in artificial intelligence. _pAI systems |
|
| 650 | 4 |
_aMatemáticas _xProcesamiento de datos |
|
| 650 | 4 |
_aSistemas de almacenamiento y recuperación de información _xMatemáticas |
|
| 700 | 1 |
_aBundy, Alan, _eprologuista |
|
| 830 |
_aLecture notes in computer science _x0302-9743 |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c18387 _d18387 |
||