Catalogo · 9780198538530
Advances in Logic Programming Theory (International Schools for Computer Scientists)
ISBN 9780198538530
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen, Giorgio Levi
TAPSOFT '87 Vol. 2
Hartmut Ehrig, Giorgio Levi, Ugo Montanari
Static Analysis
Giorgio Levi
Prolog
Giorgio Levi, Frédéric Patricelli
Logic programming
Giorgio Levi, Maurizio Martelli
Algebraic and logic programming
Spain) Alp 9 (1994 Madrid, Giorgio Levi, M. Rodriguez Artalejo, Spain) International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
TAPSOFT '87
International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy), Hartmut Ehrig, Robert Kowalski, Giorgio Levi
Verba volant · scripta manent