Matches in Library of Congress for { <http://lccn.loc.gov/96183588> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 96183588 contributor B7906211.
- 96183588 created "1996.".
- 96183588 date "1996".
- 96183588 date "1996.".
- 96183588 dateCopyrighted "1996.".
- 96183588 description "Includes bibliographical references (p. 152-159) and index.".
- 96183588 extent "163 p. :".
- 96183588 identifier "3931327477".
- 96183588 isPartOf "Informatik (Munich, Germany)".
- 96183588 isPartOf "Informatik".
- 96183588 issued "1996".
- 96183588 issued "1996.".
- 96183588 language "ger".
- 96183588 publisher "München : H. Utz Wissenshaft,".
- 96183588 subject "004/.01/5113 20".
- 96183588 subject "Automatic theorem proving.".
- 96183588 subject "Horn clauses.".
- 96183588 subject "QA76.9.A96 S43 1996".
- 96183588 title "Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren / Joachim F. Schreiber.".
- 96183588 type "text".