Matches in Library of Congress for { <http://lccn.loc.gov/97176091> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 97176091 contributor B8184027.
- 97176091 created "1996.".
- 97176091 date "1996".
- 97176091 date "1996.".
- 97176091 dateCopyrighted "1996.".
- 97176091 description "Includes bibliographical references and index.".
- 97176091 extent "293 p. :".
- 97176091 identifier "3931757919".
- 97176091 isPartOf "Computer science monographs (Munich, Germany) ; 1.".
- 97176091 isPartOf "Computer science monographs, 1432-2668 ; 1".
- 97176091 issued "1996".
- 97176091 issued "1996.".
- 97176091 language "eng".
- 97176091 publisher "München : CS Press,".
- 97176091 subject "Automatic theorem proving.".
- 97176091 subject "Computer logic.".
- 97176091 subject "QA76.9.A96 F76 1996".
- 97176091 title "The action-as-implication paradigm : formal systems and application / Bertram Fronhöfer.".
- 97176091 type "text".