Matches in Library of Congress for { <http://lccn.loc.gov/2006920149> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2006920149 alternative "MKM 2005".
- 2006920149 contributor B10733109.
- 2006920149 contributor B10733110.
- 2006920149 created "c2006.".
- 2006920149 date "2006".
- 2006920149 date "c2006.".
- 2006920149 dateCopyrighted "c2006.".
- 2006920149 description "Includes bibliographical references and index.".
- 2006920149 extent "xi, 403 p. :".
- 2006920149 identifier "354031430X (pbk. : acid-free paper)".
- 2006920149 identifier "9783540314301 (pbk. : acid-free paper)".
- 2006920149 identifier 2006920149-d.html.
- 2006920149 identifier 2006920149.html.
- 2006920149 isPartOf "Lecture notes in computer science 3863.".
- 2006920149 isPartOf "Lecture notes in computer science, 0302-9743 ; 3863. Lecture notes in artificial intelligence".
- 2006920149 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence".
- 2006920149 issued "2006".
- 2006920149 issued "c2006.".
- 2006920149 language "eng".
- 2006920149 publisher "Berlin : Springer,".
- 2006920149 subject "510.285 22".
- 2006920149 subject "Automatic theorem proving Congresses.".
- 2006920149 subject "Information storage and retrieval systems Mathematics Congresses.".
- 2006920149 subject "Mathemcatics Data processing Congresses.".
- 2006920149 subject "QA76.95 .M56 2005".
- 2006920149 title "MKM 2005".
- 2006920149 title "Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.).".
- 2006920149 type "text".