Versión - Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1

    Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal por Baum, Gabriel Alfredo

    Publicado en Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) - CACIC [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  2. 2

    Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal por Baum, Gabriel Alfredo

    Publicado en Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) - CACIC [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro

Herramientas de búsqueda: