<нет данных>

Логика и компьютер: Моделирование рассуждений и проверка правильности программ

Место изданияМосква
ИздательствоНаука
Дата издания1990
ЯзыкРусский
ТематикаФилософия
Предметная рубрикаЛогика
Философия
ИсточникОсновной фонд
Значок книги
Доступность ?
Зеленым цветом отмечены экземпляры доступные для заказа, красным — временно недоступные.
Взять на дом
Электронное издание
Читать в библиотеке

# 1

НосительБумажное издание
Класс изданияДля выдачи
МестонахождениеКнигохранение
Шифр91.B 5777
Инв. номер2246299
СерияОФ

# 2

НосительБумажное издание
Класс изданияДля выдачи
МестонахождениеКнигохранение
Инв. номер2246300
СерияОФ