Logic programming :
Andrews, James H.,
Logic programming : Operational semantics and proof theory / James h. andrews - 104 páginas
0521432197
Programación (Computadoras)
QA76.7 / A535
Logic programming : Operational semantics and proof theory / James h. andrews - 104 páginas
0521432197
Programación (Computadoras)
QA76.7 / A535