Matches in Library of Congress for { <http://lccn.loc.gov/2005939043> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2005939043 contributor B10405066.
- 2005939043 created "c2006.".
- 2005939043 date "2006".
- 2005939043 date "c2006.".
- 2005939043 dateCopyrighted "c2006.".
- 2005939043 description "Includes bibliographical references and index.".
- 2005939043 extent "xvi, 157 p. :".
- 2005939043 identifier "3540307044 (softcover : alk. paper)".
- 2005939043 identifier "9783540307044 (softcover : alk. paper)".
- 2005939043 identifier 2005939043-d.html.
- 2005939043 isPartOf "Lecture notes in computer science, 0302-9743 ; 3600. Lecture notes in artificial intelligence".
- 2005939043 issued "2006".
- 2005939043 issued "c2006.".
- 2005939043 language "eng".
- 2005939043 publisher "Berlin ; New York : Springer,".
- 2005939043 subject "511.3/6 22".
- 2005939043 subject "Algebra Computer programs.".
- 2005939043 subject "Proof theory Data processing.".
- 2005939043 subject "QA155.7.E4 S48 2006".
- 2005939043 title "The seventeen provers of the world / foreword by Dana S. Scott ; Freek Wiedijk (ed.).".
- 2005939043 type "text".