YOUR CART

0 item(s) -

Home > Books > Computers >Expert Systems > Automated Deduction - A Basis for Applications Volume I Foun...

Write Review

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

( English)
by W. Bibel , P. H. Schmitt
Publisher : Kluwer Academic Publishers

Price : Rs.15987	Out Of Stock
(Prices are inclusive of all taxes)

Payment Methods:
Net Banking, Credit/Debit Card, Cheque, Draft.

Details of :Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

Title :	Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
Author :	W. Bibel , P. H. Schmitt
ISBN:	0792351312
Binding :	Hardcover
EAN :	9780792351313
Publisher:	Kluwer Academic Publishers
Language :	English
Pages:	346

Purchase Similar To:Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

Automated Deducti...

by W. Bibel

Rs. 32250

Automated Deducti...

by W. Bibel

Rs. 19998

Automated Deducti...

by W. Bibel

Rs. 19998

Automated Deducti...

by W. Bibel

Rs. 15987

Automated Deducti...

by W. Bibel

Rs. 22290

Automated Deducti...

by W. Bibel

Rs. 22290

Ka1/4nstliche Int...

by W. Bibel

Rs. 1831

5th Conference on...

by W. Bibel

Rs. 4581

New books In Store

The Great Gatsby

By F Scott Fitzgerald

Rs. 150

Confessions Of A ...

By Vikram Mathur

Rs. 100

Boost Your Brain ...

By Marie Pasinski

Rs. 295 221 25% off

books In Focus

Theory And Practi...

By Gerald Corey

Rs. 499 424 15 % off

Microelectronic C...

By Adel S. Sedra

Rs. 725 580 20 % off

This book Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A by W. Bibel , P. H. Schmitt (author) is published or distributed by Kluwer Academic Publishers [0792351312, 9780792351313]
Price can change due to reprinting, price change by publisher or sourcing cost change for imported books.
Book reviews are added by registered customers. They need not necessarily buy book.
Free download of Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A by W. Bibel, P. H. Schmittin PDF format or ebook format may not available.
The book Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A by W. Bibel, P. H. Schmitt(author) is published or distributed by Kluwer Academic Publishers [0792351312, 9780792351313].
www.nbcindia.com/books is the biggest online bookstore in India for sale of books at best price - fiction, literature, audio books, study guides, novels, story books, rare books, textbooks and books by popular authors. These are available in various editions and bindings e.g. paperback and hardcover at best discount.

Feedback: Want to suggest a feature? Report a bug? Drop in a line and give us your feedback