Перегляд зібрання за групою - Автори Shaposhnyk M. V.
Результати від 1 до 1 із 1
| Дата випуску | Назва | Автор(и) |
|---|---|---|
| 2026 | Neuro-symbolic Formal Verification of Culinary instructions via ontology-grounded constraint satisfaction | Shaposhnyk M. V.; Minukhin S. V. |