Matches in Library of Congress for { <http://lccn.loc.gov/2001041144> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2001041144 contributor B8945334.
- 2001041144 contributor B8945335.
- 2001041144 created "c2001.".
- 2001041144 date "2001".
- 2001041144 date "c2001.".
- 2001041144 dateCopyrighted "c2001.".
- 2001041144 extent "xv, 708 p. :".
- 2001041144 identifier "3540422544 (pbk. : alk. paper)".
- 2001041144 identifier 2001041144-d.html.
- 2001041144 isPartOf "Lecture notes in computer science ; 2083. Lecture notes in artificial intelligence".
- 2001041144 isPartOf "Lecture notes in computer science ; 2083.".
- 2001041144 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2001041144 issued "2001".
- 2001041144 issued "c2001.".
- 2001041144 language "eng".
- 2001041144 publisher "Berlin ; New York : Springer,".
- 2001041144 subject "006.3/33 21".
- 2001041144 subject "Automatic theorem proving Congresses.".
- 2001041144 subject "Computer logic Congresses.".
- 2001041144 subject "QA76.9.A96 I38 2001".
- 2001041144 title "Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).".
- 2001041144 type "text".