Showing 1 - 2 of 2 Results
1.
Graph-Based Proof Procedures for Horn Clauses, Vol. 10 by Raatz, S. ISBN: 9780817635305 List Price: $66.95
2.
Graph-Based Proof Procedures for Horn Clauses by Raatz, S. ISBN: 9781489935571 List Price: $24.99