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

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.32250 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: 0792351320
Binding : Hardcover
EAN : 9780792351320
Publisher: Kluwer Academic Publishers
Language : English
Pages: 1294

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


by W. Bibel
Rs. 15987
by W. Bibel
Rs. 19998
by W. Bibel
Rs. 19998
by W. Bibel
Rs. 15987
by W. Bibel
Rs. 22290
by W. Bibel
Rs. 22290
by W. Bibel
Rs. 1831
by W. Bibel
Rs. 4581

New books In Store
By Hersey P H
Rs. 325  244  25% off
By Mankiw N G
Rs. 475  380  20% off
By John Vivian
Rs. 775  620  20% off
books In Focus
By Gerald Corey
Rs. 525  368   30 % off
By Mankiw N G
Rs. 475  380   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 [0792351320, 9780792351320]
  • 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 [0792351320, 9780792351320].
  • 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