Report - OTTER - infor.uva.escalonso/IAI/TrabajoAlumnos/OTTER.pdf · hipótesis, y los axiomas son escritos, es una lógica, a menudo de primer orden, pero también puede ser no clásica o

Please pass captcha verification before submit form