Sale!

Automated Theorem Proving

6,146.10

+ Free Shipping

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

Availability: 1 in stock

SKU: 9780387950754 Category: Tags: ,
Weight 750 kg

Reviews

There are no reviews yet.

Be the first to review “Automated Theorem Proving”

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

Shopping Cart
Scroll to Top