Вы здесь

Главная

доказательство теорем

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

Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010
Verified Software: Theories, Tools, Experiments: Revised Selected Papers/5th Iternational Conference, VSTTE 2013, Menlo Park,CA,USA, May 2013
Verifying the Standard C Library: the C-light Approach
Дедуктивная верификация протокола скользя его окна
Методы и средства обращения с равенством в машинном доказательстве теорем
Система автоматического доказательства теорем интуиционистской логики на основе обратного метода