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
Shipping & Returns








