 |
| |||
| семантическая таблица (Alex_Odeychuk); метод семантических таблиц (формальная разрешающая процедура для формул логики высказываний и логики предикатов, позволяющая синтаксическими средствами решать семантические проблемы формализованных исчислений Alex_Odeychuk) | |||
| semantic tableaux: 1 phrases, 1 sujets |
| Mathématiques | 1 |