 |
| |||
| формальная система (Alex_Odeychuk) | |||
| набор правил вывода (Alex_Odeychuk) | |||
|
set of inference rules : 2 צירופים, 1 נושאים |
| תִכנוּת | 2 |
|
| |||
| формальная система (Alex_Odeychuk) | |||
| набор правил вывода (Alex_Odeychuk) | |||
|
set of inference rules : 2 צירופים, 1 נושאים |
| תִכנוּת | 2 |