Giorgio Levi has written 10 work(s)
Search for other authors with the same name
displaying 1 to 10 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Edition summary (click for prices and details):
Paperback:
9783540208037 | Springer-Verlag New York Inc, February 20, 2004, cover price $69.95 | About this edition: This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.
2
Edition summary (click for prices and details):
Paperback:
9783540558736 | Springer Verlag, September 1, 1996, cover price $91.00
3
Product Description: Logic programming has emerged over the last five years as one of the most promising new programming paradigms and as a very active research area. The PROLOG experience has shown that relevant problems in areas such as expert systems, deductive databases, knowledge representation, and rapid prototyping can profitably be tackled by logic programming technology...read more
Edition summary (click for prices and details):
Hardcover:
9780198538530 | Oxford Univ Pr, January 1, 1995, cover price $122.50 | About this edition: Logic programming has emerged over the last five years as one of the most promising new programming paradigms and as a very active research area.
4
Edition summary (click for prices and details):
Paperback:
9780387584317 | Springer Verlag, September 1, 1994, cover price $69.95
5
Product Description: This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming...read more
Edition summary (click for prices and details):
Paperback:
9780387558738 | Springer Verlag, September 1, 1992, cover price $91.00 | About this edition: This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992.
6
Product Description: These 39 contributions cover a broad range of topics, including applications, architectures, complexity, concurrent languages, constraint languages, deductive databases, higher-order languages and extensions, language issues, program development tools and methodology, relations to other computational models, relations with artificial intelligence, sequential and parallel implementations, and theory and foundations...read more
Edition summary (click for prices and details):
Paperback:
9780262620659 | Mit Pr, November 1, 1989, cover price $60.00 | About this edition: These 39 contributions cover a broad range of topics, including applications, architectures, complexity, concurrent languages, constraint languages, deductive databases, higher-order languages and extensions, language issues, program development tools and methodology, relations to other computational models, relations with artificial intelligence, sequential and parallel implementations, and theory and foundations.
7
Edition summary (click for prices and details):
Paperback:
9783540191292 | Springer Verlag, April 27, 1988, cover price $52.95 | About this edition: This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986.
8
Edition summary (click for prices and details):
Paperback:
9780387176116 | Springer Verlag, April 1, 1987, cover price $39.95
9
Edition summary (click for prices and details):
Paperback:
9780387176604 | Springer Verlag, April 1, 1987, cover price $39.95
10
Edition summary (click for prices and details):
Paperback:
9783540176114, titled "Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (Cflp)" | Springer Verlag, February 27, 1987, cover price $39.95
displaying 1 to 10 |
at end