TY  - BOOK
AU  - Смирнов,В.А.
TI  - Логика и компьютер: [Сборник]
T2  - Кибернетика: неограниченные возможности и возможные ограничения
SN  - 5020068969
PY  - 1995///
CY  - М.
PB  - Наука
KW  - ЭВМ
KW  - персональные компьютеры
KW  - языки искусственного интеллекта
KW  - языки логического программирования
KW  - логическое программирование
N1  - Библиогр. в конце ст
ER  -