Resultados de búsqueda - Baum, Gabriel Alfredo

Limitar resultados
  1. 1
  2. 2
  3. 3
  4. 4

    Construcción y optimización de programas en Fork Álgebras por Baum, Gabriel Alfredo

    Publicado en Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) - Conferencia Latinoamericana de Programación Funcional (2ª : 1997 : La Plata) - Workshop de Aspectos Teóricos de Inteligencia Artificial (4º : 1997 : La Plata) - Encuentro de Investigadores del Consorcio Iberoamericano para Educación en Ciencia y Tecnología (ISTEC) (1er : 1997 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (1ª : 1997 : La Plata) - Jornadas de la Red Universitaria Argentina (3ª : 1997 : La Plata) - Universidad Nacional de La Plata - Ateneo de Profesores Universitarios de Computación (5º : 1997 : La Plata) - CACIC 97
    Consultar en el Cátalogo
    Capítulo de libro
  5. 5

    A proof of the interpretability of P/PML in a relational setting 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
  6. 6

    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
  7. 7

    Translating Fork specifications into logic programs 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
  8. 8
  9. 9

    CCMini : A prototype of certifying compiler based on annotated abstract syntax trees por Baum, Gabriel Alfredo

    Publicado en Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) - Ateneo de Profesores Universitarios de Computación (12º : 2004 : La Matanza) - Encuentro de Tesistas de Posgrado (7º : 2004 : La Matanza) - Workshop de Computación Gráfica Imágenes y Visualización (2º : 2004 : La Matanza) - Workshop de Agentes y Sistemas Inteligentes (5º : 2004 : La Matanza) - Encuentro de Aplicaciones de Internet2 (4º : 2004 : La Matanza) - Workshop de Ingeniería de Software y Base de Datos (1er : 2004 : La Matanza) - Jornada de Prospectiva Tecnológica (2004 : La Matanza) - Workshop de Tecnología Informática Aplicada en Educación (3er : 2004 : La Matanza) - Workshop de Procesamiento Distribuido y Paralelo (5º : 2004 : La Matanza) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (8ª : 2004 : La Matanza) - Jornada Vinculación Universidad-Empresa para la Industria del Software (2ª : 2004 : La Matanza) - Universidad Nacional de La Matanza - CACIC 2004 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  10. 10

    Verificando diseños BON mediante Alloy por Baum, Gabriel Alfredo

    Publicado en Congreso Argentino de Ciencias de la Computación (11er : 2005 : Concordia) - Encuentro de Tesistas de Posgrado (8º : 2005 : Concordia) - Escuela Internacional de Informática CACIC (9ª : 2005 : Concordia) - Universidad Nacional de Entre Ríos - Jornadas Internacionales de Administración e Informática (4ª : 2005 : Concordia) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Ateneo de Profesores Universitarios de Computación (13er : 2005 : Concordia) - Workshop de Computación Gráfica Imágenes y Visualización (3er : 2005 : Concordia) - Workshop de Ingeniería de Software y Base de Datos (2º : 2005 : Concordia) - Workshop de Procesamiento Distribuido y Paralelo (6º : 2005 : Concordia) - Workshop de Agentes y Sistemas Inteligentes (6º : 2005 : Concordia) - Workshop de Tecnología Informática Aplicada en Educación (4º : 2005 : Concordia) - CACIC 2005 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  11. 11

    Propuesta de un modelo genérico para el modelo de negocio por Baum, Gabriel Alfredo

    Publicado en Workshop de Investigadores en Ciencias de la Computación (7º : 2005 : Río Cuarto) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de Río Cuarto - WICC 2005 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20

    Construcción y optimización de programas en Fork Álgebras por Baum, Gabriel Alfredo

    Publicado en Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) - Conferencia Latinoamericana de Programación Funcional (2ª : 1997 : La Plata) - Workshop de Aspectos Teóricos de Inteligencia Artificial (4º : 1997 : La Plata) - Encuentro de Investigadores del Consorcio Iberoamericano para Educación en Ciencia y Tecnología (ISTEC) (1er : 1997 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (1ª : 1997 : La Plata) - Jornadas de la Red Universitaria Argentina (3ª : 1997 : La Plata) - Universidad Nacional de La Plata - Ateneo de Profesores Universitarios de Computación (5º : 1997 : La Plata) - CACIC 97
    Consultar en el Cátalogo
    Capítulo de libro