Matches in Library of Congress for { <http://lccn.loc.gov/88020024> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 88020024 contributor B5629187.
- 88020024 created "c1988.".
- 88020024 date "1988".
- 88020024 date "c1988.".
- 88020024 dateCopyrighted "c1988.".
- 88020024 description "Bibliography: p. [307]-316.".
- 88020024 extent "xi, 322 p. :".
- 88020024 identifier "0387194274 (U.S.)".
- 88020024 isPartOf "EATCS monographs on theoretical computer science ; v. 16".
- 88020024 issued "1988".
- 88020024 issued "c1988.".
- 88020024 language "eng".
- 88020024 publisher "Berlin ; New York : Springer-Verlag,".
- 88020024 subject "511.3 19".
- 88020024 subject "Horn clauses.".
- 88020024 subject "Logic programming.".
- 88020024 subject "QA76.6 .P327 1988".
- 88020024 title "Computing in Horn clause theories / Peter Padawitz.".
- 88020024 type "text".