Research Catalog

Automated deduction in multiple-valued logics /

Title
Automated deduction in multiple-valued logics / Reiner Hähnle.
Author
Hähnle, Reiner.
Publication
Oxford : Clarendon Press ; New York : Oxford University Press, 1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.9.A96 H34 1993Off-site

Details

Description
ix, 172 p. : ill.; 24 cm.
Series Statement
International series of monographs on computer science ; 10
Subject
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
Bibliography (note)
  • Includes bibliographical references (p. [156]-168) and index.
ISBN
0198539894 (Hbk.) :
LCCN
93033539
Owning Institutions
Princeton University Library