Книга
Тип экземпляра:
Книга
Логика и компьютер. [Вып.] 5 : Пусть докажет компьютер / [А. Е. Болотов, В. А. Бочаров, А. Е. Горчаков [и др.] ; отв. ред. В. А. Бочаров]
Сводное описание: Логика и компьютерЯзык: Русский Выходные данные: 2004Физическая характеристика: 206, [1] сISBN:- 5-02-032859-6
| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код |
|---|---|---|---|---|---|
| Книга | Институт прикладной математики им. М.В. Келдыша | 518.74 / Л 69 | Доступно |
Авт. указаны на обороте тит. л.
Библиогр. : с. 193-204