拡大するには画像をロールオーバー

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science 10895) (1st ed. 2018. 2018. xvii, 642 S. XVII, 642

Name: Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science 10895) (1st ed. 2018. 2018. xvii, 642 S. XVII, 642
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 99.99 USD
Availability: InStock

Herausgegeben von Avigad, Jeremy/ Mahboubi, Assia

99.99 USD

会員価格

90.00

English

量:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783319948201

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00USD

カート

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science 10895) (1st ed. 2018. 2018. xvii, 642 S. XVII, 642

Available to Order

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science 10895) (1st ed. 2018. 2018. xvii, 642 S. XVII, 642

Recently Viewed Items

Related Products