Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2
Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)
Edición de la obra Handbook of logic in artificial intelligence and logic programming
| Autor | Dov M. Gabbay, C. J. Hogger, J. A. Robinson |
|---|---|
| Editorial | Oxford University Press, USA |
| Fecha de publicación | April 21, 1994 |