Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science 11716) (1st ed. 2019. 2019. xxiii, 582 S. XXIII, 582 p. 110 illus., 56 illus.)

Name: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science 11716) (1st ed. 2019. 2019. xxiii, 582 S. XXIII, 582 p. 110 illus., 56 illus.)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 3150.00 TWD
Availability: OutOfStock

Herausgegeben:Fontaine, Pascal

3,150 TWD

KPC會員價

2,835

English

分享 Post

數量:

發行商

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

出版日期

國際標準書號

9783030294359

頁面

項目類型

Book

格式

Paperback

無法訂購

此產品目前缺貨

您的購物車

Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science 11716) (1st ed. 2019. 2019. xxiii, 582 S. XXIII, 582 p. 110 illus., 56 illus.)

無法訂購

Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science 11716) (1st ed. 2019. 2019. xxiii, 582 S. XXIII, 582 p. 110 illus., 56 illus.)

最近瀏覽過的項目

相關產品