Gabbay, Dov M.

Handbook of logic in artificial intelligence and logic programming - Oxford Oxford University Press 1994 - xv,511p. ill. 25 cm.

Volume 2

Includes bibliographies

0198537468


Logic programming
Artificial intelligence

001.53502 / GAB/1994