Logic with Prolog (Бичлэгийн дугаар. 199)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 00536 a2200217 4500 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 110605s9999 xx 000 0 eng d |
| 020 ## - ISBN | |
| ISBN | 0198596715 |
| 084 ## - ББК АНГИЛАЛ | |
| ББК ангилал | 22.12 |
| Зохиогчийн гурван тэмдэгт | G-43 |
| 100 1# - ЗОХИОГЧ | |
| Зохиогчийн нэр | Gibbins P. |
| 240 10 - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.12/G-43 |
| 245 10 - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | Logic with Prolog |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн газар | Англи |
| Хэвлэлийн газар | Clarendon Press |
| Хэвлэгдсэн он | 1988 |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 321 |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | mathematics |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | logic |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | computing sciencs |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | prolog |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | propositional calculus |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | predicate calculus |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | program proving |
| Date last seen | Үндсэн номын сан | Оруулсан огноо | Date last checked out | Зүйлийн төрөл | Нийт уншлаганд гарсан тоо | Баркод | Withdrawn status | Одоогийн байршил | Үнэ | Дансны дугаар |
|---|---|---|---|---|---|---|---|---|---|---|
| 2019-09-25 | Гадаад фонд | 2011-06-30 | 2019-09-25 | Ном | 1 | 11982-4-1 | Гадаад фонд | 1005.00 | 286 | |
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 11982-4-2 | Гадаад фонд | 1005.00 | 287 | |||
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 11982-4-3 | Гадаад фонд | 1005.00 | 288 | |||
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 11982-4-4 | Гадаад фонд | 1005.00 | 289 | |||
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 11982-4-5 | Гадаад фонд | 1005.00 | 290 | |||
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 11982-4-6 | Гадаад фонд | 1005.00 | 291 | |||
| 2011-06-30 | Гадаад фонд | 2011-06-30 | Ном | 11982-4-7 | Гадаад фонд | 1005.00 | 292 |