Saltar al contenido
VuFind
    • English
    • Español
Avanzado
  • Actualización de modelos para...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enlace Permanente
Actualización de modelos para lógica de árboles de cómputo mediante protecciones

Actualización de modelos para lógica de árboles de cómputo mediante protecciones

Detalles Bibliográficos
Autor principal: Carrillo Barajas, Miguel
Otras Contribuciones: Rosenblueth Laguette, David Arturo (Asesor)
Formato: Tesis de doctorado
Publicado: MX 2014
Materias:
Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000718035
http://132.248.9.195/ptd2014/agosto/0718035/Index.html
  • Existencias
  • Descripción
  • Ejemplares similares
  • Vista Equipo

Internet

https://hdl.handle.net/20.500.14330/TES01000718035
http://132.248.9.195/ptd2014/agosto/0718035/Index.html

Ejemplares similares

  • Sistema de árboles de hipersecuentes para la lógica modal graduada
    por: López Villafán, Luis Ricardo
    Publicado: (2024)
  • Logica temporal y computacion
    por: Carrillo Barajas, Miguel
    Publicado: (1993)
  • Una relación entre las lógicas modales y el enfoque topológico del cómputo distribuido
    por: Velázquez Cervantes, Diego Alejandro
    Publicado: (2019)
  • Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados
    por: Ramirez del Castillo, Carlos
    Publicado: (1994)
  • Compresion de datos mediante arboles sufijo
    por: García Herrera, Ricardo
    Publicado: (2002)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda