Roll over image to zoom in

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14740) (2024. 2024. xv, 424 S. Approx. 450 p. 235 mm)

Name: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14740) (2024. 2024. xv, 424 S. Approx. 450 p. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; IJCAR
SKU: 00000_00000_00000_00000
Price: 119.68 SGD
Availability: OutOfStock

Herausgegeben:Benzmueller, Christoph/ Heule, Marijn/ Schmidt, Renate A.

119.68 SGD

Member Price

107.72

Quantity:

Product Description

978-3-031-63500-7

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; IJCAR

Publication Date

ISBN

9783031635007

Pages

Item Type

Book

Format

Paperback

Unavailable

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

Your Cart

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14740) (2024. 2024. xv, 424 S. Approx. 450 p. 235 mm)

Product Description

Unavailable

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14740) (2024. 2024. xv, 424 S. Approx. 450 p. 235 mm)

Recently Viewed Items

Related Products