 |
| |||
| parametrized sort (тип данных в языке программирования решателей задач выполнимости формул в теориях SMT-LIB Alex_Odeychuk) | |||
| |||
| parametrized sort (Alex_Odeychuk) | |||
|
| |||
| parametrized sort (тип данных в языке программирования решателей задач выполнимости формул в теориях SMT-LIB Alex_Odeychuk) | |||
| |||
| parametrized sort (Alex_Odeychuk) | |||