Matches in Library of Congress for { <http://lccn.loc.gov/2001020538> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001020538 contributor B8921274.
- 2001020538 created "c2001.".
- 2001020538 date "2001".
- 2001020538 date "c2001.".
- 2001020538 dateCopyrighted "c2001.".
- 2001020538 description "Includes bibliographical references (p. [203]-220) and index.".
- 2001020538 extent "xiv, 228 p. :".
- 2001020538 identifier "3540679898 (alk. paper)".
- 2001020538 identifier 2001020538-d.html.
- 2001020538 identifier 2001020538-t.html.
- 2001020538 issued "2001".
- 2001020538 issued "c2001.".
- 2001020538 language "eng".
- 2001020538 publisher "Berlin ; New York : Springer,".
- 2001020538 subject "005.1 21".
- 2001020538 subject "Automatic theorem proving.".
- 2001020538 subject "QA76.758 .S38 2001".
- 2001020538 subject "Software engineering.".
- 2001020538 title "Automated theorem proving in software engineering / Johann M. Schumann ; foreword by Donald Loveland.".
- 2001020538 type "text".