An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

Product form

£59.58

Includes FREE delivery
Usually despatched within days
Paperback / softback by Maksym Bortin Short Description:

Quantity

Add to basket

 

 

This item is a recurring or deferred purchase. By continuing, I agree to the cancellation policy and authorize you to charge my payment method at the prices, frequency and dates listed on this page until my order is fulfilled or I cancel, if permitted.

Publisher: Logos Verlag Berlin GmbH
Publication Date: 30/06/2010
ISBN13: 9783832525026, 978-3832525026
ISBN10: 3832525025

Number of Pages: 235

Non Fiction , Computing

• Tell a unique detail about this product12