Applied Logic Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen, Book 10, (Paperback)
Applied Logic Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen, Book 10, (Paperback) Author: Springer ISBN: 9789048150526 Format: Paperback Publication Date: 2010-12-09 Page Count: 335
Shipping & Returns
Shipping & Returns








