Описание RUSMARC Карточка

Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств

99-4/5532 [99-19537]/русский (rus)/Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures / А.Е.Рязанов.Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств / А.Е.Рязанов.Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures.Новосибирск/ИСИ/, 1998 ( ). - ИСИ, 1998. - 42 с. ; 20 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова ; 50).Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств. Новосибирск, 1998 .
     Авт. также на англ.яз.: A.E.Ryazanov. - Рез. на англ.яз. - Библиогр.: с.42. Библиогр.: с.42.System Butsephalas: defining proof-search strategies and combining deductive procedures/Программы (компьют.) -- Верификация/З973.2-018-07/ Рязанов, А. Е. .А. Е.
Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru