Вы здесь

Главная

доказательные вычисления

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

Разработка математического обеспечения для доказательных вычислений на ЕС ЭВМ