Matches in Library of Congress for { <http://lccn.loc.gov/2007928735> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- 2007928735 alternative "Calculemus 2007".
- 2007928735 alternative "MKM 2007".
- 2007928735 contributor B11060179.
- 2007928735 contributor B11060180.
- 2007928735 contributor B11060181.
- 2007928735 created "c2007.".
- 2007928735 date "2007".
- 2007928735 date "c2007.".
- 2007928735 dateCopyrighted "c2007.".
- 2007928735 description "Includes bibliographical references and index.".
- 2007928735 extent "xiii, 406 p. :".
- 2007928735 hasFormat "Also issued online.".
- 2007928735 identifier "3540730834 (pbk.)".
- 2007928735 identifier "9783540730835 (pbk.)".
- 2007928735 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4573.
- 2007928735 isFormatOf "Also issued online.".
- 2007928735 isPartOf "Lecture notes in computer science ; 4573.".
- 2007928735 isPartOf "Lecture notes in computer science, 0302-9743 ; 4573. Lecture notes in artificial intelligence".
- 2007928735 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2007928735 issued "2007".
- 2007928735 issued "c2007.".
- 2007928735 language "eng".
- 2007928735 publisher "Berlin ; New York : Springer,".
- 2007928735 relation "Also issued online.".
- 2007928735 subject "512.00285 22".
- 2007928735 subject "Algebra Data processing Congresses.".
- 2007928735 subject "Knowledge management Congresses.".
- 2007928735 subject "Logic, Symbolic and mathematical Congresses.".
- 2007928735 subject "Mathematical analysis Data processing Congresses.".
- 2007928735 subject "QA155.7.E4 C35 2007".
- 2007928735 title "Calculemus 2007".
- 2007928735 title "MKM 2007".
- 2007928735 title "Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / Manuel Kauers ... [et al.] (eds.).".
- 2007928735 type "text".