Computing in Horn clause theories /

Saved in:
Bibliographic Details
Main Author: Padawitz, Peter, 1953-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1988.
Series:EATCS monographs on theoretical computer science v. 16
Subjects:

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AJ23E0 C04647
Copy 1 Available  Place a Hold