[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS

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

dc.creatorGEIZA MARIA HAMAZAKI DA SILVA
dc.date.accessioned2022-09-21T21:44:05Z
dc.date.accessioned2023-03-13T20:27:05Z
dc.date.available2022-09-21T21:44:05Z
dc.date.available2023-03-13T20:27:05Z
dc.date.created2022-09-21T21:44:05Z
dc.identifierhttps://hdl.handle.net/20.500.12032/42875
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/6170459
dc.publisherMAXWELL
dc.subject[pt] SINTESE DE PROGRAMAS
dc.subject[pt] DEDUCAO NATURAL
dc.subject[pt] LOGICA INTUICIONISTA
dc.subject[en] PROGRAM SYNTHESIS
dc.subject[en] NATURAL DEDUCTION
dc.subject[en] INTUITIONISTIC LOGIC
dc.title[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
dc.title[pt] EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS
dc.typeTEXTO


Este ítem pertenece a la siguiente institución