|
Книга ID: 561756
Система БУЦЕФАЛ: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System butsephalas: defining proof-search strategies and combining deductive procedures А. Е. Рязанов
Тематика, ключевые слова:
Математическая логика -- Аксиоматика -- ЭВМ - применение.
Вычислительные машины электронные цифровые -- Технический контроль -- Автоматизация.
стратегия доказательств.
верификация аппаратного обеспечения.
Сведения об издании:
Новосибирск Ин-т систем информатики им. А. П. Ершова СО РАН 1998
42 с. 20 см
Язык:
rus
|
|
