Matches in Library of Congress for { <http://lccn.loc.gov/2006927922> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2006927922 contributor B10739301.
- 2006927922 contributor B10739302.
- 2006927922 created "c2006.".
- 2006927922 date "2006".
- 2006927922 date "c2006.".
- 2006927922 dateCopyrighted "c2006.".
- 2006927922 description "Includes bibliographical references and index.".
- 2006927922 extent "vii, 445 p. ;".
- 2006927922 identifier "1586036254".
- 2006927922 identifier "9781586036256".
- 2006927922 identifier 2006927922.html.
- 2006927922 isPartOf "NATO science series. Series III, Computer and systems sciences, 1387-6694 ; v. 200".
- 2006927922 issued "2006".
- 2006927922 issued "c2006.".
- 2006927922 language "eng".
- 2006927922 publisher "Amsterdam ; Washington, DC : IOS Press,".
- 2006927922 subject "Automatic theorem proving Congresses.".
- 2006927922 subject "Computer programming Congresses.".
- 2006927922 subject "Computer software Development Congresses.".
- 2006927922 subject "QA76.9.A96 N38 2006".
- 2006927922 title "Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.".
- 2006927922 type "text".