 |
| Subject | English | Russian |
| progr. | non-resolution inference | нерезолютивный вывод (ssn) |
| logic | resolution inference | резолютивный вывод (Alex_Odeychuk) |
|
| Subject | English | Russian |
| progr. | non-resolution inference | нерезолютивный вывод (ssn) |
| logic | resolution inference | резолютивный вывод (Alex_Odeychuk) |