1 option
Computing in Horn clause theories / Peter Padawitz.
LIBRA QA76.6 .P327 1988
Available from offsite location
- Format:
- Book
- Author/Creator:
- Padawitz, Peter, 1953-
- Series:
- EATCS monographs on theoretical computer science ; v. 16.
- EATCS monographs on theoretical computer science ; v. 16
- Language:
- English
- Subjects (All):
- Logic programming.
- Horn clauses.
- Physical Description:
- xi, 322 pages : illustrations ; 26 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1988]
- Notes:
- Includes indexes.
- Bibliography: pages [307]-316.
- ISBN:
- 0387194274
- OCLC:
- 18136211
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.