Tools

LEADER 01380cam 22003618a 4500

001 ocm28966570;

003 OCoLC;

005 20141212112821.0;

008 930921s1993 enka b 001 0 eng ;

010 a| 93033539;

015 a| GB94-5173;

020 a| 0198539894 (Hbk.) :c| $45.00 (£30.00);

035 a| (Sirsi) o28966570;

035 a| (OCoLC)28966570;

049 a| EREE;

050 00 a| QA76.9.A96b| H34 1993;

082 00 a| 511.32| 20;

100 1 a| Hähnle, Reiner.=| ^A370975;

245 10 a| Automated deduction in multiple-valued logics /c| Reiner Hähnle.;

300 a| ix, 172 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| International series of monographs on computer science ;v| 10;

504 a| Includes bibliographical references (p. [156]-168) and index.;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

830 0 a| International series of monographs on computer science ;v| 10.=| ^A220040;

596 a| 1;

998 a| 549112;

999 a| QA76.9.A96 H34 1993w| LCc| 1i| 30372008341403d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $45.00r| Ys| Yt| JGESBKu| 4/6/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Automated deduction in multiple-valued logics / Reiner Hähnle.

Author/creator	Hähnle, Reiner
Format	Book
Publication Info	Oxford : Clarendon Press ; New York : Oxford University Press, 1993.
Description	ix, 172 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving. Logic, Symbolic and mathematical.

Series	International series of monographs on computer science ; 10 International series of monographs on computer science ; 10. ^A220040
Bibliography note	Includes bibliographical references (p. [156]-168) and index.
LCCN	93033539
ISBN	0198539894 (Hbk.) :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 H34 1993	✔ Available	Place Hold

Automated deduction in multiple-valued logics / Reiner Hähnle.

Click here for more information about this title

Availability