Matches in Library of Congress for { <http://lccn.loc.gov/96039706> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 96039706 contributor B7781984.
- 96039706 created "c1997.".
- 96039706 date "1997".
- 96039706 date "c1997.".
- 96039706 dateCopyrighted "c1997.".
- 96039706 description "Includes bibliographical references (p. [289]-293) and indexes.".
- 96039706 extent "viii, 300 p. :".
- 96039706 identifier "3540618821 (Berlin : acid-free paper)".
- 96039706 isPartOf "Texts in theoretical computer science".
- 96039706 issued "1997".
- 96039706 issued "c1997.".
- 96039706 language "eng".
- 96039706 publisher "Berlin ; New York : Springer,".
- 96039706 subject "511.3 21".
- 96039706 subject "Automatic theorem proving.".
- 96039706 subject "QA76.9.A96 L44 1997".
- 96039706 title "The resolution calculus / Alexander Leitsch.".
- 96039706 type "text".