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