|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
1601640 |
| 003 |
ICU |
| 005 |
19970812204700.0 |
| 008 |
940413s1993 enka b 001 0 eng |
| 010 |
|
|
|a 93033539
|
| 020 |
|
|
|a 0198539894 (Hbk.) :
|c $45.00 (£30.00)
|
| 035 |
|
|
|a (ICU)BID18508608
|
| 035 |
|
|
|a (OCoLC)28966570
|
| 040 |
|
|
|c DLC
|d ICU$dOrLoB
|
| 050 |
0 |
0 |
|a QA76.9.A96
|b H34 1993
|
| 082 |
|
|
|a 511.3
|2 20
|
| 100 |
1 |
|
|a Hähnle, Reiner
|0 http://id.loc.gov/authorities/names/n93092932
|1 http://viaf.org/viaf/32090269
|
| 245 |
1 |
0 |
|a Automated deduction in multiple-valued logics /
|c Reiner Hähnle.
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press ;
|a New York :
|b Oxford University Press,
|c 1993.
|
| 263 |
|
|
|a 9401
|
| 300 |
|
|
|a ix, 172 p. :
|b ill. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a International series of monographs on computer science
|v 10
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
0 |
|g 1.
|t Introduction --
|g 2.
|t Preliminaries --
|g 3.
|t The Logical Basis: Signed Analytic Tableaux --
|g 4.
|t A New Technique: Truth Value Sets as Signs --
|g 5.
|t Uniform Notation Regained: Regular Logics --
|g 6.
|t Beyond Tableaux --
|g 7.
|t Applications --
|g 8.
|t A History of Multiple-Valued Theorem Proving --
|g 9.
|t Conclusion.
|
| 650 |
|
0 |
|a Automatic theorem proving
|0 http://id.loc.gov/authorities/subjects/sh85010111
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
7 |
|a Automatic theorem proving.
|2 fast
|0 http://id.worldcat.org/fast/fst00822777
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 850 |
|
|
|a ICU
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i fa1349b7-d011-5c52-bb60-95f6fa79c967
|s 0d1c5c34-9356-5549-a100-d3ad0882bc86
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.9.A96H340 1993
|l ASR
|c ASR-SciASR
|i 5904902
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.A96H340 1993
|l ASR
|c ASR-SciASR
|e CRERAR
|b 39894190
|i 3040407
|
