Вы здесь

Главная

переписывание

Связанные издания:

Системы переписывания формул и их применение в автоматической верификации программ
Теория систем переписывания формул
Упрощающие процедуры для типов данных, основанные на системах переписывания формул