Cambiar navegación
es
|
en
|
pt
|
fr
Presentación
Países
Instituciones
Participa
Cambiar navegación
JavaScript is disabled for your browser. Some features of this site may not work without it.
Ver ítem
Inicio
Venezuela
Universidades
Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)
Ver ítem
Inicio
Venezuela
Universidades
Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)
Ver ítem
TEXTO
[pt] COMPACTAÇÃO DE PROVAS LÓGICAS
[en] LOGIC PROOFS COMPACTATION
Registro en:
http://148.201.128.228:8080/xmlui/handle/20.500.12032/11908
https://repositorioslatinoamericanos.uchile.cl/handle/2250/6177576
Autor
VASTON GONCALVES DA COSTA
Institución
Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)
Materias
[pt] TEORIA DA PROVA
[pt] LOGICA PROPOSICIONAL
[pt] CALCULO DE SEQUENCIAS
[pt] COMPLEXIDADE DE PROVAS
[pt] DEDUCAO NATURAL
[en] PROOF THEORY
[en] PROPOSITIONAL LOGIC
[en] SEQUENT CALCULUS
[en] PROOF COMPLEXITY
[en] NATURAL DEDUCTION
Mostrar el registro completo del ítem
EXPLORAR POR
Instituciones
Fecha
2011 - 2020
2001 - 2010
1951 - 2000
1901 - 1950
1800 - 1900
Explorar en Red de Repositorios
Países >
Tipo de documento >
Fecha de publicación >
Instituciones >