An edition of Automated deduction in multiple-valued logics (1993)

Automated deduction in multiple-valued logics

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Automated deduction in multiple-valued logics by Reiner Hähnle
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
December 4, 2010 | History
Edit
An edition of Automated deduction in multiple-valued logics (1993)

Automated deduction in multiple-valued logics

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Clarendon Press, Oxford University Press
Language
English
Pages
172

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Automatic theorem proving, Symbolic and mathematical Logic

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Automated deduction in multiple-valued logics
Automated deduction in multiple-valued logics
1993, Clarendon Press, Oxford University Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Oxford, New York

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, QA76.9.A96H34 1993

The Physical Object

Pagination
ix, 172 p. :
Number of pages
172

ID Numbers

Open Library
OL1423090M
Internet Archive
automateddeducti00hhnl
ISBN 10
0198539894
LCCN
93033539

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
September 9, 2021 Edited by ImportBot import existing book
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