Вісник Львівського університету. Серія прикладна математика та інформатика

Berezovskyi, Oleksandr

• № 31 (2023): Випуск 31 - Комп'ютерні науки
  The Coq-model of Atomic Entities in Formal Theories
  Анотація  PDF (English)