Ver registro no DEDALUS
Exportar registro bibliográfico

Metodo sintatico de prova de teoremas: algoritmo de wang (1990)