Metakides, George, 1945-,
Principles of logic and logic programming /
G. Metakides, A. Nerode
- 329 páginas
- Studies in computer science and artificial intelligence ; 13 .
Incluye referencias bibliograficas e indices.
0444816445
Programación lógica
Lógica simbólica y matemática
QA76.63 / M473 1996
005.13/1