Saltar al contenido
VuFind
    • English
    • Español
Avanzado
  • Verificación formal en lógica...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enlace Permanente
Verificación formal en lógica modal

Verificación formal en lógica modal

Detalles Bibliográficos
Autor principal: Prieto Larios, Estefanía
Otras Contribuciones: Miranda Perea, Favio Ezequiel (Asesor)
Formato: Tesis de licenciatura
Publicado: MX 2018
Materias:
Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000776256
http://132.248.9.195/ptd2018/julio/0776256/Index.html
  • Existencias
  • Descripción
  • Ejemplares similares
  • Vista Equipo

Internet

https://hdl.handle.net/20.500.14330/TES01000776256
http://132.248.9.195/ptd2018/julio/0776256/Index.html

Ejemplares similares

  • Verificación formal de programas con lógicas de separación
    por: Medina Martínez, Diego Roberto
    Publicado: (2021)
  • Logica modal escolastica
    por: Campos Benítez, Juan Manuel
    Publicado: (2003)
  • Lógica modal : una sintaxis y una semántica
    por: Loustalot Knapp, Daniela
    Publicado: (2019)
  • Estructura logica de los sistemas normativos (un ensayo de logica modal)
    por: Estudillo Ponce, Ma. Silvia
    Publicado: (1972)
  • 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