| 000 | 00940 a2200205 4500 | ||
|---|---|---|---|
| 008 | 110605s9999 xx 000 0 eng d | ||
| 240 | 1 | 0 | _a22.1/H-11 |
| 020 | _a0198539894 | ||
| 084 |
_a22.1 _bH-11 |
||
| 100 | 1 | _aHahnle R. | |
| 245 | 1 | 0 | _aAutomated Deduction in multiple-valued Logics |
| 260 |
_aАмерик _bClarendon Press _c1993 |
||
| 300 | _a168 | ||
| 504 | _aДансны дугаар: 10928 | ||
| 510 |
_apreliminaries _athe logical basis: signed analytic tableaux _aa new technique: truth value sets as signs _auniform notation regained;regular logics _abeyond tableaux _aa history of multiple-valued theorem proving |
||
| 653 | _amathematics | ||
| 653 | _acomputer science | ||
| 653 | _amulti-valued logics | ||
| 740 |
_apreliminaries _athe logical basis: signed analytic tableaux _aa new technique: truth value sets as signs _auniform notation regained;regular logics _abeyond tableaux _aa history of multiple-valued theorem proving |
||
| 999 |
_c5762 _d5762 |
||