Abramson, Harvey

Logic grammars/ Harvey Abramson - New York Springer- Verlag 1989 - xiv, 234p. - Symbolic Computation-Artificial Intelligence .


Logic programming.
Symbolic computation.
Artificial intelligence.