Sale!

Automated Reasoning With Analytic Tableaux And Related Methods

1,842.48

+ Free Shipping

Author : Beckert
Publisher : Springer
Publish Year : 0
Subject : –

Availability: 1 in stock

SKU: 9783540289319 Category: Tags: ,
Weight 750 kg

Reviews

There are no reviews yet.

Be the first to review “Automated Reasoning With Analytic Tableaux And Related Methods”

Your email address will not be published. Required fields are marked *

Shopping Cart
Scroll to Top