Результати пошуку - "UDC 004.42:510.64"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
-
1
First-order logics with partial predicates for checking variable definedness
Опубліковано 2025
Отримати повний текст
Стаття