Síntesis de programación lógica : práctica de la construcción de un conjunto de datos; /

por Warnier, Jean-Dominique.
Publicado 1977

Síntesis de programación lógica : los tratamientos y sus datos. /

por Warnier, Jean-Dominique.
Publicado 1975

Síntesis de programación lógica : la transformación de los programas. /

por Warnier, Jean-Dominique.
Publicado 1976

Logical construction of programs (L.C.P.) /

por Warnier, Jean-Dominique.
Publicado 1974

Programación lógica /

por Bull, Honeywell.
Publicado 1974 - 2. ed.

Programación lógica /

por Bull, Honeywell.
Publicado 1974 - 2. ed.