Graph-Based Proof Procedures for Horn Clauses : 10

Graph-Based Proof Procedures for Horn Clauses : 10

AED0.00
(0) Write a Review
SKU:
9781489935571
UPC:
9781489935571

Product Description

ISBN: 9781489935571
TITLE: Graph-Based Proof Procedures for Horn Clauses : 10
AUTHOR: RAATZ
PUBLISHER: Birkhauser Boston
PUBLISHER DATE: 14 Aug 2013

Other Details

ISBN:
9781489935571
Author:
RAATZ
Publisher:
Birkhauser Boston
Publisher Date:
14 Aug 2013
Book Format:
Paperback

Related Products

Popular Trending Products