Логика и компьютер: Моделирование рассуждений и проверка правильности программ
| Место издания | Москва |
|---|---|
| Издательство | Наука |
| Дата издания | 1990 |
| Язык | Русский |
| Тематика | Философия |
| Предметная рубрика | Философия • Логика Философия |
| Источник | Основной фонд |
Доступность
?
Зеленым цветом отмечены экземпляры доступные для заказа, красным — временно недоступные.
Взять на дом
Электронное издание
Читать в библиотеке
| автор | <нет данных> |
|---|---|
| Сведения об ответственности | Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.; АН СССР |
| Место издания | Москва |
| Издательство | Наука |
| Дата издания | 1990 |
| ISBN | 5-02-007156-0 |
| Язык | Русский |
| Объём | 238 с.: рис. |
| Аннотация | |
| Примечания | Библиогр. с.231-235 с.-Огл. также на англ.яз. ; |
| Добавочная библиографическая запись | Алешина,Н.А. |
| Тематика | Философия |
| Предметная рубрика | Философия • Логика , Философия |
| Источник | Основной фонд |
| Носитель | Бумажное издание |
Сервис
Заказать оцифровку книги