Вы здесь

Главная

формула корректности

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

Автоматическое доказательство формул корректности предикатной программы в системе Russell