Lecture Notes in Artificial Intelligence : Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Computer Science)

Name: Lecture Notes in Artificial Intelligence : Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Computer Science)
Brand: Springer, Berlin; Springer Nature Switzerland; DHBW Stuttgar
SKU: 00000_00000_00000_00000
Price: 64.68 SGD
Availability: OutOfStock

Barrett, Clark (EDT)/ Waldmann, Uwe (EDT)

64.68 SGD

会員価格

58.22

English

数量:

Product Description

XX, 724 p. 90 illus.

... Read Full Text

Publisher

Springer, Berlin; Springer Nature Switzerland; DHBW Stuttgar

Publication Date

ISBN

9783031999833

Pages

690 p.

Item Type

Book

Format

Paperback

Unavailable

This product is currently out of stock. Please check back later.

カート

Lecture Notes in Artificial Intelligence : Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Computer Science)

Product Description

Unavailable

Lecture Notes in Artificial Intelligence : Automated Deduction - CADE 30 : 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (Lecture Notes in Computer Science)

Recently Viewed Items

Related Products