данных>, <. (1990). Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Москва: Наука.
Chicago-стиль цитированияданных>, <нет. Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Москва: Наука, 1990.
MLA-цитированиеданных>, <нет. Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Москва: Наука, 1990.
Обратите внимание: опция «Скопировать описание» не гарантирует 100% правильное оформление библиографических ссылок.