Cálculo secuencial Lambek para programación lógica

  1. Sarabia Álvarez-Ude, Jaime
Buch:
Perspectivas actuales de lógica y filosofía de la ciencia
  1. García-Bermejo Ochoa, Juan Carlos (ed. lit.)
  2. Rivadulla Rodríguez, Andrés (ed. lit.)
  3. Urrutia, J. (ed. lit.)
  4. Zofío Prieto, José Luis (ed. lit.)
  5. Bustos, Eduardo (ed. lit.)
  6. Pérez Sedeño, Eulalia (ed. lit.)

Verlag: Siglo XXI de España

ISBN: 84-323-0857-9

Datum der Publikation: 1994

Seiten: 193-202

Art: Buch-Kapitel