Graph-Based Proof Procedures for Horn Clauses
By: Raatz, Stan
.
Material type: 
TextPublisher: Boston Birkhauser 1990Description: 147p.ISBN: 3764335300.
| Item type | Home library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CCSIT Library | Available | CSB018256 |
Open Library:
There are no comments for this item.