5
1
Graph-Based Proof Procedures for Horn Clauses
150Graph-Based Proof Procedures for Horn Clauses
150Paperback(Softcover reprint of the original 1st ed. 1990)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9780817635305 |
---|---|
Publisher: | Birkhäuser Boston |
Publication date: | 12/01/1990 |
Series: | Progress in Computer Science and Applied Logic , #10 |
Edition description: | Softcover reprint of the original 1st ed. 1990 |
Pages: | 150 |
Product dimensions: | 6.10(w) x 9.25(h) x 0.01(d) |
From the B&N Reads Blog