Automated Deduction in Multiple-valued Logics; Author: Haehnle, Reiner (University of Karlsruhe, Germany); Hardback; Book

English Books

US/World Maps

English Books > Mathematics > Mathematical Analysis > Automated Deduction in Multiple-valued Logics

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

Automated Deduction in Multiple-valued Logics

Author: Haehnle, Reiner (University of Karlsruhe, Germany)
Hardback; Book; Line Figures, Tables, Bibliography
182 pages
Published: January 1994
Oxford University Press
ISBN: 0198539894
This item non-returnable. Order may not be canceled.

This is a text on theorem proving in many-valued logics. Both semantic tableaux and other methods are described.

Purchase this item (Product Code: 0198539894)

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

Copyright � 2009 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