Computing in horn clause theories.

Bibliographic Details
Main Author: Padawitz, Peter
Format: Book
Published: Berlin : Springer, 1988
Series:EATCS monographs on theoretical computer science ; v. 16
Subjects: