|
|
|
|
| LEADER |
01752cam a22003977a 4500 |
| 005 |
20130713153437.0 |
| 008 |
060630s2006 gw a b 101 0 eng d |
| 010 |
|
|
|a 2006930246
|
| 020 |
|
|
|a 3540371044 (pbk.)
|
| 020 |
|
|
|a 9783540371045
|
| 035 |
|
|
|a (CStRLIN)MNUGA004880594-B
|
| 035 |
|
|
|a (MnU)004880594
|
| 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 .M56 2006
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 082 |
0 |
0 |
|a 511.3/6028563
|2 22
|
| 111 |
2 |
|
|a MKM 2006
|d (2006 :
|c Wokingham, England)
|
| 245 |
1 |
0 |
|a Mathematical knowledge management :
|b 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings /
|c Jonathan M. Borwein, William M. Farmer (eds.).
|
| 246 |
1 |
0 |
|a MKM 2006
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2006.
|
| 300 |
|
|
|a viii, 294 p. :
|b ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 4108.
|a Lecture notes in artificial intelligence
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Mathematics
|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 Borwein, Jonathan M.
|
| 700 |
1 |
|
|a Farmer, William Michael.
|
| 830 |
|
0 |
|a Lecture notes in computer science
|v 4108.
|
| 830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence
|
| 856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0825/2006930246-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 pc17 2006-06-30
|a jp00 2006-10-30
|a jx13 2006-11-20 z-processor
|i jx13 2006-11-20
|a aa32 2007-01-03
|
| 999 |
|
|
|c 35183
|d 35183
|
