Handbook of logic in artificial intelligence and logic programming (v.2): deduction methodologies/
by Dov M Gabbay (ed.)
- New York: Oxford University Press, 1996.
- 511p.
9780198537465
Logic Deduction
Artificial Intelligence
Philosophy
153.43 / DOV/H
9780198537465
Logic Deduction
Artificial Intelligence
Philosophy
153.43 / DOV/H