Matches in Library of Congress for { <http://lccn.loc.gov/90227328> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 90227328 contributor B6287542.
- 90227328 created "1990.".
- 90227328 date "1990".
- 90227328 date "1990.".
- 90227328 dateCopyrighted "1990.".
- 90227328 description "Includes bibliographical references (p. [142]-147).".
- 90227328 extent "147 p. :".
- 90227328 identifier "0817635300 (alk. paper)".
- 90227328 identifier "3764335300 (alk. paper)".
- 90227328 isPartOf "Progress in computer science and applied logic ; v. 10".
- 90227328 issued "1990".
- 90227328 issued "1990.".
- 90227328 language "eng".
- 90227328 publisher "Boston : Birkhaüser,".
- 90227328 subject "005.1 20".
- 90227328 subject "Graph theory.".
- 90227328 subject "Horn clauses.".
- 90227328 subject "Logic programming.".
- 90227328 subject "QA76.63 .R33 1990".
- 90227328 title "Graph-based proof procedures for horn clauses / Stan Raatz.".
- 90227328 type "text".