[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS

TEXTO

[pt] EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS

Registro en:

http://148.201.128.228:8080/xmlui/handle/20.500.12032/9980

https://repositorioslatinoamericanos.uchile.cl/handle/2250/6187692

Autor

GEIZA MARIA HAMAZAKI DA SILVA

Institución

Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)

Materias

[pt] SINTESE DE PROGRAMAS

[pt] DEDUCAO NATURAL

[pt] LOGICA INTUICIONISTA

[en] PROGRAM SYNTHESIS

[en] NATURAL DEDUCTION

[en] INTUITIONISTIC LOGIC

Mostrar el registro completo del ítem