Matches in Library of Congress for { <http://lccn.loc.gov/96032221> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 96032221 contributor B7773116.
- 96032221 contributor B7773117.
- 96032221 created "c1997.".
- 96032221 date "1997".
- 96032221 date "c1997.".
- 96032221 dateCopyrighted "c1997.".
- 96032221 description "Includes bibliographical references (p. [199]-200) and index.".
- 96032221 extent "xii, 206 p. :".
- 96032221 identifier "0387948473 (acid-free paper)".
- 96032221 isPartOf "Graduate texts in computer science (Springer-Verlag New York Inc.)".
- 96032221 isPartOf "Graduate texts in computer science".
- 96032221 issued "1997".
- 96032221 issued "c1997.".
- 96032221 language "eng".
- 96032221 publisher "New York : Springer,".
- 96032221 subject "511.3/0285/51 20".
- 96032221 subject "Automatic theorem proving.".
- 96032221 subject "QA76.9.A96 S63 1997".
- 96032221 title "Deduction systems / Rolf Socher-Ambrosius, Patricia Johann.".
- 96032221 type "text".