-39%
Awaiting product image

Automated Theorem Proving Hb

Original price was: ₹17,796.00.Current price is: ₹10,938.00.

1 in stock

SKU: 9780387950754 Category:

Description

Automated Theorem Proving Hb

  • ISBN No :- 9780387950754
  • Publisher :->Springer
  • Author :- Newborn M.
  • Year of Publication :-2001
  • Binding Type :- Not Available

 

Highlight Related Book

Additional information

Weight 3 kg

Reviews

There are no reviews yet.

Be the first to review “Automated Theorem Proving Hb”

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

Related products