TY  - BOOK
AU  - Алешина,Наталия Альбертовна
AU  - Анисов,Александр Михайлович
AU  - Быстров,Петр Иванович
AU  - Смирнова,Елена Дмитриевна
TI  - Логика и компьютер: моделирование рассуждений и проверка правильности программ
T2  - Серия "Кибернетика - неограниченные возможности и возможные ограничения"
SN  - 5020071560
PY  - 1990///
CY  - Москва
PB  - Наука
KW  - программирование, логические основы
KW  - информатика
KW  - математическая логика
KW  - математическая логика классическая первопорядковая
KW  - логика предикатов
KW  - силлогистика
KW  - математическая логика и искусственный интеллект
KW  - математическая индукция
KW  - математическая логика эпистемическая
KW  - рассуждения (искусственный интеллект) правдоподобные
KW  - программы (информатика), доказательство правильности
N1  - Авт. указаны на обороте тит. л; Библиогр.: с. 231-235 (52 назв.)
ER  -