Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures / А.Е.Рязанов
Параллельное заглавие: : System Butsephalas: defining proof-search strategies and combining deductive procedures, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : ИСИ, 1998Физическая характеристика: 42 с. ; 20 см.Серия: Препринт ; 50Примечания: Авт. также на англ.яз.: A.E.Ryazanov; Рез. на англ.яз..Библиография: Библиогр.: с.42.Предметная рубрика - Тема: Программы (компьют.) -- Верификация Другие классификации: З973.2-018-07Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 99-4/5532 (Просмотр полки(Открывается ниже)) | Доступно | 39404-10 |
Авт. также на англ.яз.: A.E.Ryazanov
Рез. на англ.яз.
Библиогр.: с.42