1 - 2 из 2Размер страницы: 10
Сортировать по:: Год публикации
  1. 2020

  2. About proof-search in intuitionistic natural deduction calculus using partial Skolemization

    Okhotnikov, O., 21 дек. 2020, в: Journal of Physics: Conference Series. 1680, 1, 012038.

    Результаты исследований: Вклад в журнал › Материалы конференции › Рецензирование

  3. 2014

  4. A new sequent calculus for automated proof search

    Okhotnikov, O., 1 янв. 2014, в: Applied Mathematical Sciences. 8, 97-100, стр. 4977-4984 8 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

ID: 80068