Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Automated deduction in multiple-valued logics / Reiner Hähnle
Author
Hähnle, Reiner
Published
Oxford : Clarendon Press ; New York : Oxford University Press, 1993.
Physical Description
ix, 172 pages : illustrations ; 25 cm.
Full Text available online
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series
International series of monographs on computer science ; 10.
Subject(s)
Automatic theorem proving
Logic, Symbolic and mathematical
ISBN
0198539894 (Hbk.)
Bibliography Note
Includes bibliographical references and index.
View MARC record
| catkey: 1564302