Методы и алгоритмы индуктивного вывода / Отв. ред. В.М. Пономарев ; АН СССР, Ленингр. ин-т информатики и автоматизации
Язык: русский.Выходные данные: Л. : ЛИИАН, 1989Физическая характеристика: 127 с. : ил. ; 21 см.Примечания: На обл. авт. не указан.Библиография: Библиогр.: с. 125-127 (44 назв.). Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 89-3/14892 (Просмотр полки(Открывается ниже)) | Доступно | 5605668-10 |
На обл. авт. не указан
Библиогр.: с. 125-127 (44 назв.)