About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Automata, Languages
And Programming
£86.85
A collection of papers that address issues in theoretical computer science & are organized in topical sections on data structures, cryptography & complexity, cryptography & distributed systems, graph algorithms, security mechanisms, automata & formal languages, signature & message authentication, & algorithmic game theory. ...
Archived Product
Automated Database Applications Testing
Automated
Database Applications
Testing
£45.00
Introduces Spec DB, an intelligent database created to represent & host software specifications in a machine-readable format, based on the principles of artificial intelligence & unit testing database operations. Spec DB is demonstrated via two automated intelligent tools. ...
Archived Product
Automated Deduction
Automated Deduction
£104.10
Presents the concepts & methods in automated deduction. This work focuses on basic research in deduction & on the knowledge on which modern deductive systems are based. It presents techniques of implementation & details about system building. It deals with applications of deductive techniques. ...
Archived Product
image missing
Automated Deduction
£83.10
Features the concepts & methods in automated deduction. This work focuses on basic research in deduction & on the knowledge on which modern deductive systems are based. It presents techniques of implementation & details about system building. It deals with applications of deductive techniques. ...
Archived Product

Automated Deduction

Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9780792351290
Availability: In Stock
£118.20
mathematics Mathematics, Science, Technology & Medicine > Mathematics
Description Reviews / Comments Add New

Product Description

Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction & on the knowledge on which modern deductive systems are based. It presents techniques of implementation & details about system building.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu