Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 1 результатів із 1 для пошуку '"UDC 004.42:510.64"', час виконання запиту: 0.02сек. Уточнити результати
  1. 1
    First-order logics with partial predicates for checking variable definedness
    за авторством Shkilniak, S.S.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук