TY  - BOOK
AU  - Алешина Н.А.
AU  - Анисов А.М.
AU  - Быстров П.И.
AU  - Герасимова И.А.
AU  - Меськов В.С.
ED  - Академия наук СССР
TI  - Логика и компьютер: Моделирование рассуждений и проверка правильности программ
SN  - 5020071560
PY  - 1990///
CY  - Москва
PB  - Наука
KW  - საანგარიშო მანქანები, ელექტრონული პირადი
KW  - მათემატიკური ლოგიკა
N1  - Библиогр.: с. 231-234
ER  -