Blas Carlos Ruiz Jiménez

• Artículos de revistas (3)
• Colaboraciones en obras colectivas (8)
• Libros (6)
• Tesis (1)
• Tesis dirigidas (1)

• Artículos de revistas

  • Seleccionado

    Logaritmos combinatorios y el problema de los músicos

    Blas Carlos Ruiz Jiménez, Manuel Ruiz Muñoz

    Uno: Revista de didáctica de las matematicas, ISSN 1133-9853, Nº. 36, 2004 (Ejemplar dedicado a: La matemática discreta ¿o finita?), págs. 64-79

    • Resumen
    
  • Seleccionado

    El solitario de Abreu desde la teoría elemental de grupos

    Blas Carlos Ruiz Jiménez, Pablo Guerrero, Francisco Gutiérrez

    Epsilon: Revista de la Sociedad Andaluza de Educación Matemática "Thales", ISSN-e 2340-714X, ISSN 1131-9321, Nº 35, 1996, págs. 291-308

    
  • Seleccionado

    El problema P-S de McCarthy y otros acertijos

    Blas Carlos Ruiz Jiménez, José E. Gallardo, Francisco Gutiérrez

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, ISSN 1130-488X, Nº 21, 1996, págs. 21-34

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Grupo 4: Matemáticas en Universidad: un análisis combinatorio del problema de los músicos

    Blas Carlos Ruiz Jiménez

    Matemáticos y matemáticas para el tercer milenio, de la abstracción a la realidad : San Fernando, 7, 8, 9 y 10 de septiembre de 2000, 2000, ISBN 84-7786-675-9, págs. 145-148

    
  • Seleccionado

    Solitarios triangulares y álgebra elemental

    Blas Carlos Ruiz Jiménez, Francisco Gutiérrez, Pablo Guerrero

    Matemáticas y lenguajes : perspectivas lógica, semiótica, social y computacional / José Francisco Quesada Moreno (ed. lit.) , 1998, ISBN 84-923760-1-5, págs. 153-178

    
  • Seleccionado

    Decibilidad en sistemas [ípsilon]PTS

    Blas Carlos Ruiz Jiménez, Alberto Santos

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.) , 1997, ISBN 84-8498-463-X, págs. 217-226

    
  • Seleccionado

    Una semántica operacional para CProlog

    Antonio José Fernández Leiva , Blas Carlos Ruiz Jiménez

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 21-30

    • Resumen
    
  • Seleccionado

    Un sistema de tipos generalizado con sobrecarga

    Blas Carlos Ruiz Jiménez, Alberto Santos

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 51-60

    • Resumen
    
  • Seleccionado

    Clasificación y comunicación de objetos en Concurrent Haskell

    Jose Enrique Gallardo Ruiz , Francisco Gutiérrez, Blas Carlos Ruiz Jiménez

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 555-564

    • Resumen
    
  • Seleccionado

    Comunicación monádica de objetos funcionales

    Jose Enrique Gallardo Ruiz , Pablo Guerrero García, Blas Carlos Ruiz Jiménez

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 145-154

    • Resumen
    
  • Seleccionado

    Recursividad: algoritmos recursivos en basic

    Blas Carlos Ruiz Jiménez

    Actas de las III Jornadas, 1984, ISBN 84-600-3449-6, págs. 137-147

    

• Libros

  • Seleccionado

    Transformadores de predicados y semántica de programas

    Blas Carlos Ruiz Jiménez

    Málaga [Campus de Teatinos, ETSI Informática, 29071 Málaga : B.C. Ruiz, 2003. ISBN 84-607-5971-7

    
  • Seleccionado

    Transformadores de predicados y semántica de programas

    Blas Carlos Ruiz Jiménez

    Málaga (Campus de Teatinos, ETSI Informática) : B. C. Ruiz Jiménez, 1999. ISBN 84-605-9652-4

    
  • Seleccionado

    Programación funcional con haskell

    Blas Carlos Ruiz Jiménez

    Málaga : Universidad, Servicio de Publicaciones e Intercambio Científico, D.L. 1995. ISBN 84-7496-580-2

    
  • Seleccionado

    Problemas de ampliación de matemáticas

    María del Rosario Muñoz Marín, Blas Carlos Ruiz Jiménez

    Librería Ágora, 1988. ISBN 84-85698-41-X

    
  • Seleccionado

    Notas de informática

    Blas Carlos Ruiz Jiménez

    Málaga : Librería-Ágora, 1985. ISBN 84-85698-19-3

    
  • Seleccionado

    Introducción al lenguaje de programación BASIC

    Blas Carlos Ruiz Jiménez

    Málaga : Librería-Agora, 1985. ISBN 84-85698-18-5

    

• Tesis

  • Seleccionado

    Sistemas de tipos puros con universos

    Blas Carlos Ruiz Jiménez

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.) . Universidad de Málaga (1999).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Cálculo de secuentes para sistemas de tipos puros

    Francisco Gutiérrez

    Tesis doctoral dirigida por Blas Carlos Ruiz Jiménez (dir. tes.). Universidad de Málaga (2003).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.