Uma Abordagem Experimental Sobre a Compressão De Provas Em Dedução Natural Minimal Implicacional
doi 10.17771/pucrio.acad.47267
Full Text
Open PDFAbstract
Available in full text
Date
Unknown
Authors
Publisher
Faculdades Catolicas
Available in full text
Unknown
Faculdades Catolicas