Mathematical knowledge management
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:35184/Details |
|---|---|
| Ostali autori: | MKM 2005 (-) |
| Ostali autori: | Kohlhase, Michael, 1964- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin :
Springer,
c2006.
|
| Nakladnička cjelina: |
Lecture notes in computer science
3863. Lecture notes in computer science. Lecture notes in artificial intelligence |
| Predmet: | |
| Online pristup: |
Table of contents only Publisher description |
| LEADER | 01817cam a22003977a 4500 | ||
|---|---|---|---|
| 005 | 20130713153437.0 | ||
| 008 | 060105s2006 gw a b 101 0 eng d | ||
| 010 | |a 2006920149 | ||
| 020 | |a 9783540314301 (pbk. : acidfree paper) | ||
| 020 | |a 354031430X (pbk. : acidfree paper) | ||
| 035 | |a (CStRLIN)MNUGA004687137-B | ||
| 035 | |a (MnU)004687137 | ||
| 040 | |a NNC |c NNC |d MnU |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.95 |b .M56 2005 |
| 082 | 0 | 0 | |a 510.285 |2 22 |
| 111 | 2 | |a MKM 2005 |d (2005 : |c Bremen, Germany) | |
| 245 | 1 | 0 | |a Mathematical knowledge management : |b 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / |c Michael Kohlhase (ed.). |
| 246 | 1 | 0 | |a MKM 2005 |
| 260 | |a Berlin : |b Springer, |c c2006. | ||
| 300 | |a xi, 403 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3863. |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Mathemcatics |x Data processing |v Congresses. | |
| 650 | 0 | |a Information storage and retrieval systems |x Mathematics |v Congresses. | |
| 650 | 0 | |a Automatic theorem proving |v Congresses. | |
| 700 | 1 | |a Kohlhase, Michael, |d 1964- | |
| 830 | 0 | |a Lecture notes in computer science |v 3863. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence | |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0613/2006920149.html |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2006920149-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 jp00 2006-08-14 z-processor |i jp18 2006-08-14 |a aa07 2006-08-25 | ||
| 955 | |a pc17 2006-01-05 |a jp00 2006-04-08 |a jp00 2006-04-24 | ||
| 999 | |c 35184 |d 35184 | ||