Dynamic logic (Бичлэгийн дугаар. 96638)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 01045nam a22003857a 4500 |
| 003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ | |
| Код | MN-UlNUM |
| 005 - БИЧИЛТ ХИЙСЭН ОГНОО | |
| Тухайн бичилтийг бичсэн засварласан сүүлийн огноо | 20200514114212.0 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 130315t2000 mau||||| |||| 00| 0 eng d |
| 020 ## - ISBN | |
| ISBN | 0-262-08289-6 |
| 040 ## - БИЧЛЭГ ҮҮСГЭГЧ БАЙГУУЛЛАГА | |
| Бичлэг үүсгэгч номын сангийн код | МУИС-ийн номын сан |
| 084 ## - ББК АНГИЛАЛ | |
| ББК ангилал | 22.12 |
| Зохиогчийн гурван тэмдэгт | H 24 |
| Нэмэлт тусгалт | Гарын авлага |
| Мэдлэгийн ялгаа | 2 - Байгалийн шинжлэл |
| 100 10 - ЗОХИОГЧ | |
| Зохиогчийн нэр | Harel, David |
| 240 ## - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.12 H 24 |
| 245 10 - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | Dynamic logic |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэлийн газар | MIT Press |
| Хэвлэгдсэн он | 2000 |
| Хэвлэгдсэн газар | Cambridge, Mass |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 459 |
| 500 ## - Тайлбар | |
| Дансны дугаар | ГФ 17309 |
| 546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ | |
| Хэл | Англи хэл дээр, |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | computer science |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | mathematics logic |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | computer logic |
| 700 ## - ХАМ ЗОХИОГЧИД | |
| Ба бус | Kozen Dexter, Tiuryn Jerzy |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Fundamental concepts |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Computability and complexity |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Logic |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Reasoning about programs |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Propositional dynamic logic |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | First order dynamic logic |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Filtration and decidability |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Deductive completeness |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Complexity of PDL |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Relationships with static logics |
| 942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
| Зүйлийн төрөл | Ном |