Matches in Library of Congress for { <http://lccn.loc.gov/2004111460> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2004111460 contributor B9882149.
- 2004111460 contributor B9882150.
- 2004111460 created "c2004.".
- 2004111460 date "2004".
- 2004111460 date "c2004.".
- 2004111460 dateCopyrighted "c2004.".
- 2004111460 description "Includes bibliographical references and index.".
- 2004111460 extent "x, 392 p. :".
- 2004111460 hasFormat "Also issued online.".
- 2004111460 identifier "3540230297 (acid-free paper)".
- 2004111460 identifier 2004111460-d.html.
- 2004111460 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3119.
- 2004111460 isFormatOf "Also issued online.".
- 2004111460 isPartOf "Lecture notes in computer science, 0302-9743 ; 3119".
- 2004111460 issued "2004".
- 2004111460 issued "c2004.".
- 2004111460 language "eng".
- 2004111460 publisher "Berlin ; New York : Springer,".
- 2004111460 relation "Also issued online.".
- 2004111460 subject "510/.285 22".
- 2004111460 subject "Automatic theorem proving Congresses.".
- 2004111460 subject "Information storage and retrieval systems Mathematics Congresses.".
- 2004111460 subject "Mathematics Data processing Congresses.".
- 2004111460 subject "QA76.95 .M56 2004".
- 2004111460 title "Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).".
- 2004111460 type "text".