|
|
|
|
| LEADER |
01884nam a2200313 i 4500 |
| 001 |
LibTUSUR0000028715 |
| 008 |
060815u1990 ru_a l000 0yrus d |
| 020 |
|
|
|a 5020141488
|
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 100 |
1 |
|
|a Ковальски
|q Роберт
|4 aut
|
| 245 |
0 |
0 |
|a Логика в решении проблем:
|b Пер. с англ./
|c Роберт Ковальски ; пер. Вячеслав Эрнстович Вольфенгаген, пер. В. Я. Яцук, предисл. и прим. Д. А. Поспелов, пер. Л. Г. Осмоловский
|
| 260 |
|
|
|a М.:
|b Наука. Физматлит
|c 1990
|
| 300 |
|
|
|a 280 с.:
|b a-ил
|
| 440 |
|
0 |
|a Проблемы искусственного интеллекта
|
| 504 |
|
|
|a Библиогр.: с. 263-270. -Имен. указ.: с. 272-273. -Предм. указ.: с. 273-278
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a клаузальная логика
|
| 653 |
0 |
|
|a ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
|
| 653 |
0 |
|
|a ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
|
| 653 |
0 |
|
|a Хорна клаузы
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i К 563
|p 260402
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i К 563
|p 260403
|b аунл
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i К 563
|p 260404
|b аунл
|
| 080 |
|
|
|a 681.3.06:510.6
|
| 700 |
1 |
|
|a Осмоловский, Л. Г.
|4 trl
|
| 700 |
1 |
|
|a Вольфенгаген
|q Вячеслав Эрнстович
|4 trl
|
| 700 |
1 |
|
|a Яцук, В. Я.
|4 trl
|
| 700 |
1 |
|
|a Поспелов, Д. А.
|
| 856 |
|
|
|y Перейти в каталог Библиотеки ТУСУР
|u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=681.3/К 563-348245
|
