 |
| |||
| формально-логическое доказательство | |||
| доказывание с помощью формальных доказательств; установление факта формальными доказательствами | |||
| формальное доказательство | |||
|
formal proof : 13 phrases in 3 subjects |
| Information technology | 1 |
| Programming | 4 |
| Software | 8 |
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Add | The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Report an error
| Get short URL | Language Selection Tips