Математическая логика и автоматическое доказательство теорем

Библиографические подробности
Главный автор: Чень Ч., Ли Р.
Формат:
Язык:Russian
Опубликовано: М Наука 1983
Предметы: