Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types / И. С. Ануреев
Параллельное заглавие: : Simplification procedures based on formula rewriting systems and intended for data types, английскийЯзык: русский.Выходные данные: Новосибирск : Ин-т систем информатики, 1998Физическая характеристика: 43 с. ; 21 см.Серия: Препринт ; 53Примечания: Авт. также на англ. яз.: I.S. Anureev.Библиография: Библиогр.: с. 43.Предметная рубрика - Тема: Автоматические доказательства -- Системы переписывния формул Другие классификации: В12 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 99-4/3781 (Просмотр полки(Открывается ниже)) | Доступно | 37619-10 |
Авт. также на англ. яз.: I.S. Anureev
Библиогр.: с. 43