Публикации

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

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

2. A new sequent calculus for automated proof search

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

Просмотреть все (2) »