| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Logical Perspectives 2021: Summer School and Workshop
|
|||
|
|
|||
|
Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions N. V. Shilov, D. A. Kondrat'ev |
|||
|
Язык доклада: английский |
|||