Логика и компьютер: Моделирование рассуждений и проверка правильности программ
| Место издания | Москва |
|---|---|
| Издательство | Наука |
| Дата издания | 1990 |
| Язык | Русский |
| Тематика | Философия |
| Предметная рубрика | Философия • Логика Философия |
| Источник | Основной фонд |
Доступность
?
Зеленым цветом отмечены экземпляры доступные для заказа, красным — временно недоступные.
Взять на дом
Электронное издание
Читать в библиотеке
# 1
| Носитель | Бумажное издание |
|---|---|
| Класс издания | Для выдачи |
| Местонахождение | Книгохранение |
| Шифр | 91.B 5777 |
| Инв. номер | 2246299 |
| Серия | ОФ |
# 2
| Носитель | Бумажное издание |
|---|---|
| Класс издания | Для выдачи |
| Местонахождение | Книгохранение |
| Инв. номер | 2246300 |
| Серия | ОФ |
Сервис
Заказать оцифровку книги