Giorgio Levi
· 10 obras en el catálogo
Obras
TAPSOFT '87

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Prolog
Logic programming

Advances in logic programming theory
Algebraic and logic programming

TAPSOFT '87 Vol. 2
Verification, Model Checking, and Abstract Interpretation

Advances in Logic Programming Theory (International Schools for Computer Scientists)
