Automated Deduction -- a Basis for Applications Volume I Foundations -- Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications : Vol. II. Systems and Implementation Techniques; Hardback; Book

Musical Supplies

Perfumes/Cosmetics

English Books > Mathematics > Mathematical Analysis > Automated Deduction -- a Basis for Applications Volume I Foundations -- Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications : Vol. II. Systems and Implementation Techniques

<< PREVIOUS TITLE | NEXT TITLE >> <<NEW RELEASES >>

Automated Deduction -- a Basis for Applications Volume I Foundations -- Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications : Vol. II. Systems and Implementation Techniques

Hardback; Book; Index
448 pages
Published: June 1998
Kluwer Academic Publishers Group
ISBN: 0792351304
This item non-returnable. Order may not be canceled.

One of three volumes which are intended to document and advance a development in the field of automated deduction that can now be observed worldwide. Rather than restricting the interest to academic research, the focus now is on the investigation of problems derived from realistic applications.

Purchase this item (Product Code: 0792351304)

SurfStoreUSA

The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.

Copyright Š 2008 Open Communications, Inc
ŽOpen Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map

Affiliates Coop