Open AccessNADIA - Natural DeductIon proof Assistant
Author(s) -
Davi Romero de Vasconcelos,
Robson Teixeira Paula,
Maria Viviane de Menezes
Publication year - 2022
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.5753/wei.2022.222875
Subject(s) - humanities , philosophy , natural (archaeology) , computer science , history , archaeology