Abramson, Harvey

Logic grammars / Harvey Abramson, Verónica Dahl - New York : Springer-Verlag, c 1989 - xiv, 236 p. : il. ;, 24 cm. - Symbolic computation. Artificial intelligence. .

Ejercicios, bibliografía y comentarios al final de los capítulos

519.682