Argitalpenak (7) Mario RODRÍGUEZ ARTALEJO argitalpenak

2009

  1. Similitary based reasoning in qualified logic programming

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

2008

  1. Matemática discreta y lógica matemática

    Complutense

2001

  1. A declarative debugger of wrong answers for lazy functional logic programs

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

1998

  1. Matemática discreta y lógica matemática

    Complutense

1997

  1. Diseño y semántica de lenguajes lógico-funcionales

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]

1981

  1. Lógica para matemáticos itzu.

    Thomson-Paraninfo

1972

  1. Seminario sobre planes de estudios universitarios en Informática

    Boletín del Centro de Cálculo de la Universidad de Madrid, Núm. 18, pp. 35