Saltar al contenido
VuFind
    • English
    • Español
Avanzado
  • Logica temporal y computacion
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enlace Permanente
Logica temporal y computacion

Logica temporal y computacion

Detalles Bibliográficos
Autor principal: Carrillo Barajas, Miguel
Otras Contribuciones: Bracho Carpizo, Felipe (Asesor)
Formato: Tesis de maestría
Publicado: MX 1993
Materias:
Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000190372
http://132.248.9.195/pmig2016/0190372/Index.html
  • Existencias
  • Descripción
  • Ejemplares similares
  • Vista Equipo

Internet

https://hdl.handle.net/20.500.14330/TES01000190372
http://132.248.9.195/pmig2016/0190372/Index.html

Ejemplares similares

  • Actualización de modelos para lógica de árboles de cómputo mediante protecciones
    por: Carrillo Barajas, Miguel
    Publicado: (2014)
  • Verificación simbólica de redes genéticas mediante una lógica temporal híbrida
    por: Argil Torres, José Julián
    Publicado: (2009)
  • Un sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en Haskell
    por: Vázquez Reyes, Cenobio Moisés
    Publicado: (2018)
  • El contenido computacional de la lógica clásica a través de los cálculos λC Y λμ con tipos
    por: Hernández, Noé Salomón
    Publicado: (2012)
  • Abducción y lógicas no clásicas : un acercamiento desde las lógicas adaptativas y la lógica modal
    por: Leonides Jiménez, Laura Alicia
    Publicado: (2011)

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