Proving Propositional Tautologies in Natural Dialogue
Authors: O. Yaskorska, K. Budzyńska, M. Kacprzak
Published in: Fundamenta Informaticae (Lista JCR: 15 pkt; aktualny pięcioletni impact factor: 0,393)
Publication type: article
Subject areas: Computer Science; Mathematics
SJR best quartile: Q3