Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback)

Name: Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback)
Brand: Gerwin Klein
SKU: prod_1826ed0df9500ee44ef8d4cd
Price: 118.00 USD
Availability: InStock

Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback) Author: Springer ISBN: 9783319089690 Format: Paperback Publication Date: 2014-08-01 Page Count: 555

Shipping & Returns

Price unavailable

Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback)—

$118.00

Price unavailable

Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback)—

$118.00