Proving Propositional Tautologies in a Natural Dialogue

Olena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak

    Research output: Contribution to journalArticlepeer-review

    15 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Proving Propositional Tautologies in a Natural Dialogue'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science