Matches in Library of Congress for { <http://lccn.loc.gov/2003042408> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2003042408 contributor B9532116.
- 2003042408 contributor B9532117.
- 2003042408 created "c2003.".
- 2003042408 date "2003".
- 2003042408 date "c2003.".
- 2003042408 dateCopyrighted "c2003.".
- 2003042408 description "Includes bibliographical references and index.".
- 2003042408 extent "x, 223 p. :".
- 2003042408 identifier "3540005684 (softcover : acid-free paper)".
- 2003042408 identifier 2003042408-d.html.
- 2003042408 isPartOf "Lecture notes in computer science, 0302-9743 ; 2594".
- 2003042408 issued "2003".
- 2003042408 issued "c2003.".
- 2003042408 language "eng".
- 2003042408 publisher "Berlin ; New York : Springer,".
- 2003042408 subject "510/.285 21".
- 2003042408 subject "Automatic theorem proving Congresses.".
- 2003042408 subject "Information storage and retrieval systems Mathematics Congresses.".
- 2003042408 subject "Mathematics Data processing Congresses.".
- 2003042408 subject "QA76.95 .I565 2003".
- 2003042408 title "Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.).".
- 2003042408 type "text".