Automated Deduction in multiple-valued Logics (Бичлэгийн дугаар. 5762)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 00940 a2200205 4500 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 110605s9999 xx 000 0 eng d |
| 020 ## - ISBN | |
| ISBN | 0198539894 |
| 084 ## - ББК АНГИЛАЛ | |
| ББК ангилал | 22.1 |
| Зохиогчийн гурван тэмдэгт | H-11 |
| 100 1# - ЗОХИОГЧ | |
| Зохиогчийн нэр | Hahnle R. |
| 240 10 - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.1/H-11 |
| 245 10 - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | Automated Deduction in multiple-valued Logics |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн газар | Америк |
| Хэвлэлийн газар | Clarendon Press |
| Хэвлэгдсэн он | 1993 |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 168 |
| 510 ## - CITATION/REFERENCES NOTE | |
| Name of source | preliminaries |
| -- | the logical basis: signed analytic tableaux |
| -- | a new technique: truth value sets as signs |
| -- | uniform notation regained;regular logics |
| -- | beyond tableaux |
| -- | a history of multiple-valued theorem proving |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | mathematics |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | computer science |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | multi-valued logics |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | preliminaries |
| -- | the logical basis: signed analytic tableaux |
| -- | a new technique: truth value sets as signs |
| -- | uniform notation regained;regular logics |
| -- | beyond tableaux |
| -- | a history of multiple-valued theorem proving |
| Date last seen | Үндсэн номын сан | Оруулсан огноо | Зүйлийн төрөл | Баркод | Withdrawn status | Одоогийн байршил | Нийтийн тэмдэглэл | Дансны дугаар |
|---|---|---|---|---|---|---|---|---|
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 79209-4-1 | Гадаад фонд | 10928 |