Karol Pąk

Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji

Affiliation

Uniwersytet w Białymstoku

Field

informatics

Awarding date

Nov. 28, 2013

Supervisor

• dr hab. Aleksy Schubert

Reviewers

• dr hab. Anh Linh Nguyen, prof. UW
• dr hab. Tomasz Połacik (Uniwersytet Śląski)

Documents

• Summary in Polish
• Thesis