Статья ""ТеорМат" - программа, обучающая доказательству те..."
| Наименование статьи | "ТеорМат" - программа, обучающая доказательству теорем |
|---|---|
| Страницы | 58 |
| Журнал | Мир ПК |
| Номер выпуска | 1 |
| Автор(ы) | Иванов Г. П. |
| Наименование статьи | "ТеорМат" - программа, обучающая доказательству теорем |
|---|---|
| Страницы | 58 |
| Журнал | Мир ПК |
| Номер выпуска | 1 |
| Автор(ы) | Иванов Г. П. |