Journals Higher Education
Important OUP's Response to COVID-19 Learn more

£112.50

Hardback

Published: 06 January 1994

182 Pages | line figures, tables

234x156mm

ISBN: 9780198539896


Bookseller Code (AQ)

Automated Deduction in Multiple-Valued Logics

Reiner Hähnle

Clarendon Press

International Series of Monographs on Computer Science

  • Self-contained and unified approach
  • The first book on this subject
  • Includes a complete account of other approaches

Also of Interest