Mostrando
1 - 4
Resultados de
4
Para Buscar '
Coniglio, Marcelo
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Coniglio, Marcelo
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Coniglio, Marcelo
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /
por
Coniglio
,
Marcelo
Publicado 1989
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Central UNDMP
Libro
Cargando...
Agregar a favoritos
Guardado en:
2
Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /
por
Coniglio
,
Marcelo
Publicado 1989
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Central (UNDMP)
Libro
Cargando...
Agregar a favoritos
Guardado en:
3
Hipersecuentes y la lógica tetravalente modal T M L
por
Figallo, Martín
Publicado 2013
Otros Autores:
“
...
Coniglio
,
Marcelo
E....
”
Aportado por:
Repositorio Institucional Universidad Nacional del Sur (UNS)
Enlace del recurso
tesis doctoral
Agregar a favoritos
Guardado en:
4
Paraconsistent logic consistency, contradiction and negation /
por
Carnielli, Walter A. (Walter Alexandre)
Publicado 2016
Otros Autores:
“
...
Coniglio
,
Marcelo
E., 1963-...
”
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Max von Buch (UdeSA)
Solo para usuarios autorizados
Libro electrónico
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
BECAS
CIENCIAS EXACTAS
MATEMATICAS
PROGRAMACION [MATEMATICAS]
CALCULO
CONTRADICCIÓN
CONTRADICTION
CÁLCULO
Cálculos de Gentzen
Demostración, Teoría de la
INCONSISTENCIA (LÓGICA)
INCONSISTENCY (LOGIC)
LOGIC
LÓGICA
Lógicas paraconsistentes
Matemáticas
NEGACIÓN (LÓGICA)
NEGATION (LOGIC)
Cargando...