
por Kazunori Ueda · 1986
Sinopsis
Este libro presenta una inmersión profunda en los principios y la implementación de la programación lógica concurrente, particularmente en el contexto del lenguaje Guarded Horn Clauses (GHC).
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda