TY - BOOK AU - Abramson, Harvey ED - Dahl, Veronica TI - Logic grammars T2 - Symbolic computation : artificial intelligence SN - 0387969616 U1 - 001.535 PY - 1989/// CY - New York PB - Springer-Verlag KW - Artificial Intelligence KW - Programming (Electronic Computers) ER -