Shelfclass_id |
4.B.3 |
Sortkey |
HÄHNLE, REINER |
Authors |
Reiner Hähnle |
Title |
Automated Deduction in Multiple-Valued Logics |
Publisher |
Oxford University Press |
Year |
1993 |
Languages |
eng |
Isbn |
0198539894 |
Series |
The International series of monographs on computer science |
Volume |
10 |
Description |
(Hbk.) $45.00 (¹30.00) ix, 172 p. ill. 25 cm |
Record date |
20060713 |
Location |
New York |
Keywords |
Automatic theorem proving, Logic, Symbolic and mathematical |
Notes |
Hahnle |
Urlnote |
Table of contents |
Urls |
http://www.loc.gov/catdir/enhancements/fy0638/93033539-t.html |