Matches in Library of Congress for { <http://lccn.loc.gov/2004107782> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2004107782 contributor B9879039.
- 2004107782 contributor B9879040.
- 2004107782 created "2004.".
- 2004107782 date "2004".
- 2004107782 date "2004.".
- 2004107782 dateCopyrighted "2004.".
- 2004107782 description "Includes bibliographical references and index.".
- 2004107782 extent "xii, 491 p. :".
- 2004107782 identifier "3540223452 (pbk. : alk. paper)".
- 2004107782 identifier 2004107782-d.html.
- 2004107782 isPartOf "Lecture notes in computer science ; 3097.".
- 2004107782 isPartOf "Lecture notes in computer science, 0302-9743 ; 3097. Lecture notes in artificial intelligence".
- 2004107782 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2004107782 issued "2004".
- 2004107782 issued "2004.".
- 2004107782 language "eng".
- 2004107782 publisher "Berlin ; New York : Springer,".
- 2004107782 subject "Automatic theorem proving Congresses.".
- 2004107782 subject "Computer logic Congresses.".
- 2004107782 subject "QA76.9.A96 I38 2004".
- 2004107782 title "Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitsch (eds.).".
- 2004107782 type "text".