Logic-based program synthesis and transformation
- ISBN
- 3540657657
Logic-based program synthesis and transformation est un logic programming, logic, symbolic and mathematical book de International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England).
À propos de ce livre
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
À propos de l'auteur
est l'auteur de Logic-based program synthesis and transformation. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England) →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Logic-based program synthesis and transformation ?+
Logic-based program synthesis and transformation est un livre de Logic programming, Logic, symbolic and mathematical, Computer science, Logic design.
De quoi parle Logic-based program synthesis and transformation ?+
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of ...
Qui a écrit Logic-based program synthesis and transformation ?+
Logic-based program synthesis and transformation a été écrit par International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England).