Giorgio Levi (Levi, Giorgio)

• 
  Advances in Logic Programming Theory
  by Giorgio Levi
  Hardcover, Oxford Univ Pr, ISBN 0198538537 (0-19-853853-7)
• 
  Algebraic and Logic Programming: Third International Conference, Pisa, Italy, September 2-4, 1992 Proceedings
  by H. Kirchner, Giorgio Levi
  Softcover, Springer Verlag, ISBN 038755873X (0-387-55873-X)

  More editions of Algebraic and Logic Programming: Third International Conference, Pisa, Italy, September 2-4, 1992 Proceedings:

  • Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992 Proceedings: Hardcover, Springer-Verlag, ISBN 354055873X (3-540-55873-X)
• 
  Algebraic and Logic Programming: 4th International Confernence, Alp '94, Madrid, Spain, September 14-16, 1994 Proceedings
  by Giorgio Levi, M. Rodriguez Artalejo, Alp '9 (1994 Madrid, Spain), International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid, Spain), Mario Rodriguez-Artalejo
  Softcover, Springer Verlag, ISBN 0387584315 (0-387-58431-5)
• 
  Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings
  by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
  Softcover, Springer, ISBN 3540191291 (3-540-19129-1)
• 
  Logic Programming: Proceedings of the Sixth International Conference
  by Giorgio Levi, Maurizio Martelli
  Softcover, Mit Pr, ISBN 0262620650 (0-262-62065-0)
• 
  Tapsoft '87 : Proceedings of the International Joint Conference on Theory
  by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi
  Softcover, Springer London, Limited, ISBN 354017611X (3-540-17611-X)

  More editions of Tapsoft '87 : Proceedings of the International Joint Conference on Theory:

  • Tapsoft '87 : Proceedings of the International Joint Conference on Theory: Softcover, Springer London, Limited, ISBN 3540176608 (3-540-17660-8)
• 
  Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advanc
  by Giorgio Levi, Hartmut Ehrig, Robert Kowalski, Ugo Montanari
  Softcover, Springer Verlag, ISBN 038717611X (0-387-17611-X)

  More editions of Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advanc:

  • Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advance: Softcover, Springer Verlag, ISBN 0387176608 (0-387-17660-8)
• 
  Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings
  by Bernhard Steffen, Giorgio Levi
  Softcover, Springer-Verlag New York Inc, ISBN 3540208038 (3-540-20803-8)