• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Bar-Hillel Theorem Mechanization in Coq

Lecture Notes in Computer Science. 2019. Vol. 11541. P. 264-281.
Grigorev S., Bozhko S., Хатбуллина Л. Р.