Opening book details…
Can I read Logic Programming : Proceedings of the 1994 International Symposium on EtoBox?
Logic Programming : Proceedings of the 1994 International Symposium by Maurice Bruynooghe (ed.) is a computer science book available to read on EtoBox.
What is Logic Programming : Proceedings of the 1994 International Symposium about?
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particula
Who reads Logic Programming : Proceedings of the 1994 International Symposium?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Maurice Bruynooghe (ed.)
- Publisher
- The MIT Press
- Published
- 1994
- Language
- EN
- ISBN
- 9783540198062
- Category
- computer science
- Subjects
- Mathematics, Engineering, Technology
- Updated
- 2026-03-25
Other editions & translations
More by Maurice Bruynooghe (ed.)
Browse all works by Maurice Bruynooghe (ed.)
Similar books
- Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 : sponsored by the Association for Logic Programming and ALPUK — Kung-Kiu Lau, Timothy P. Clement (1993)
- Logic Programming : Proceedings of the Joint International Conference and Symposium on Logic Programming — Krzysztof R Apt; International Conference and Symposium on Logic Programming (1992)
- Functional And Logic Programming: Proceedings Of The Third Fuji International Symposium — Masahiko Sato; Yoshihito Toyama; Fuji International Symposium on Functional and Logic Programming (1998)
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming (Handbook of Logic in Artificial Intelligence and Logic Programming) — edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson. Vol. 2, Deduction methodologies / volume coordinator, J. Siekmann (1998)
- The Gödel Programming Language (Logic Programming) — John Lloyd Patricia Hill (1994)
- Logic Programming: Proceedings of the 1995 International Symposium — John Lloyd (1995)