Giorgio Levi | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Giorgio Levi | lit.salon

Giorgio Levi

No bio available. Add one in Open Library.

Books by Giorgio Levi (50 max)

Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 : Advanc (Monographs on Pathology of Laboratory Animals)

1987

International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy), Hartmut Ehrig, Robert Kowalski, Giorgio Levi

Logicprogramming: proceedings of the sixth International Conference

1989

Giorgio Levi, Maurizio Martelli

Advances in logic programming theory

1994

Algebraic and logic programming: 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

1994

Spain) Alp 9 (1994 Madrid, Giorgio Levi, M. Rodriguez Artalejo, Spain) International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid

Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science)

1998

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (CFLP) (Lecture Notes in Computer Science)

1987

Hartmut Ehrig, Giorgio Levi, Ugo Montanari

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced ... '87) (Lecture Notes in Computer Science)

1987

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Prolog: linguaggio, applicazioni ed implementazioni

1993

Giorgio Levi, Frédéric Patricelli

Advances in logic programming theory

1994

Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

2003

Bernhard Steffen, Giorgio Levi