Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
December 4, 2010 | History

Automated deduction in multiple-valued logics 1 edition

Cover of: Automated deduction in multiple-valued logics | Reiner Hähnle

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $35.00 (used)
Better World Books

There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Automated deduction in multiple-valued logics
Reiner Hähnle.

Published 1993 by Clarendon Press, Oxford University Press in Oxford, New York .
Written in English.

Edition Notes

Includes bibliographical references and index.

Series
International series of monographs on computer science ;, 10

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96 H34 1993

The Physical Object

Pagination
ix, 172 p. :
Number of pages
172

ID Numbers

Open Library
OL1423090M
Internet Archive
automateddeducti00hhnl
ISBN 10
0198539894
LC Control Number
93033539

History

Download catalog record: RDF / JSON
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page