Applied Logic Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen, Book 10, (Hardcover)

Applied Logic Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen, Book 10, (Hardcover) Author: Springer ISBN: 9780792351313 Format: Hardcover Publication Date: 1998-06-30 Page Count: 335

Shipping & Returns

Product image 1
Price unavailable
Applied Logic Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen, Book 10, (Hardcover)
$274.00