TY  - BOOK
AU  - Ковальски,Роберт
TI  - Логика в решении проблем
T2  - Проблемы искусственного интеллекта
SN  - 5020141488
PY  - 1990///
CY  - М.
PB  - Наука
KW  - логическое программирование
KW  - rurkp
N1  - Библиогр.: с. 263-271; Указ. имен. и предм.: с. 272-278
ER  -