Matches in Library of Congress for { <http://lccn.loc.gov/2006930246> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2006930246 alternative "MKM 2006".
- 2006930246 contributor B10740970.
- 2006930246 contributor B10740971.
- 2006930246 created "c2006.".
- 2006930246 date "2006".
- 2006930246 date "c2006.".
- 2006930246 dateCopyrighted "c2006.".
- 2006930246 description "Includes bibliographical references and index.".
- 2006930246 extent "viii, 294 p. :".
- 2006930246 identifier "3540371044 (pbk.)".
- 2006930246 identifier "9783540371045".
- 2006930246 identifier 2006930246-d.html.
- 2006930246 isPartOf "Lecture notes in computer science 4108.".
- 2006930246 isPartOf "Lecture notes in computer science, 0302-9743 ; 4108. Lecture notes in artificial intelligence".
- 2006930246 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence".
- 2006930246 issued "2006".
- 2006930246 issued "c2006.".
- 2006930246 language "eng".
- 2006930246 publisher "Berlin ; New York : Springer,".
- 2006930246 subject "511.3/6028563 22".
- 2006930246 subject "Automatic theorem proving Congresses.".
- 2006930246 subject "Information storage and retrieval systems Mathematics Congresses.".
- 2006930246 subject "Mathematics Data processing Congresses.".
- 2006930246 subject "QA76.95 .M56 2006".
- 2006930246 title "MKM 2006".
- 2006930246 title "Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer (eds.).".
- 2006930246 type "text".