Matches in Library of Congress for { <http://lccn.loc.gov/2005938552> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2005938552 alternative "ADG 2004".
- 2005938552 contributor B10404696.
- 2005938552 contributor B10404697.
- 2005938552 created "c2006.".
- 2005938552 date "2006".
- 2005938552 date "c2006.".
- 2005938552 dateCopyrighted "c2006.".
- 2005938552 description "Includes bibliographical references and index.".
- 2005938552 extent "x, 211 p. :".
- 2005938552 identifier "354031332X (pbk. : alk. paper)".
- 2005938552 identifier "9783540313328 (pbk. : alk. paper)".
- 2005938552 identifier 2005938552-d.html.
- 2005938552 isPartOf "Lecture notes in computer science 3763.".
- 2005938552 isPartOf "Lecture notes in computer science, 0302-9742 ; 3763. Lecture notes in artificial intelligence".
- 2005938552 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence".
- 2005938552 issued "2006".
- 2005938552 issued "c2006.".
- 2005938552 language "eng".
- 2005938552 publisher "Berlin ; New York : Springer,".
- 2005938552 subject "516.00285 22".
- 2005938552 subject "Automatic theorem proving Congresses.".
- 2005938552 subject "Geometry Data processing Congresses.".
- 2005938552 subject "Logic, Symbolic and mathematical Congresses.".
- 2005938552 subject "QA448.D38 I577 2004".
- 2005938552 title "ADG 2004".
- 2005938552 title "Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / Hoon Hong, Dongming Wang (eds.).".
- 2005938552 type "text".