[pt] COMPACTAÇÃO DE PROVAS LÓGICAS

[en] LOGIC PROOFS COMPACTATION

dc.creatorVASTON GONCALVES DA COSTA
dc.date.accessioned2022-09-09T16:26:47Z
dc.date.accessioned2023-03-13T20:58:58Z
dc.date.available2022-09-09T16:26:47Z
dc.date.available2023-03-13T20:58:58Z
dc.date.created2022-09-09T16:26:47Z
dc.identifierhttp://148.201.128.228:8080/xmlui/handle/20.500.12032/11908
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/6177576
dc.publisherMAXWELL
dc.subject[pt] TEORIA DA PROVA
dc.subject[pt] LOGICA PROPOSICIONAL
dc.subject[pt] CALCULO DE SEQUENCIAS
dc.subject[pt] COMPLEXIDADE DE PROVAS
dc.subject[pt] DEDUCAO NATURAL
dc.subject[en] PROOF THEORY
dc.subject[en] PROPOSITIONAL LOGIC
dc.subject[en] SEQUENT CALCULUS
dc.subject[en] PROOF COMPLEXITY
dc.subject[en] NATURAL DEDUCTION
dc.title[pt] COMPACTAÇÃO DE PROVAS LÓGICAS
dc.title[en] LOGIC PROOFS COMPACTATION
dc.typeTEXTO


Este ítem pertenece a la siguiente institución