Logic-based program synthesis and transformation
- ISBN
- 3540657657
Logic-based program synthesis and transformation è un logic programming, logic, symbolic and mathematical book di International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England).
Informazioni su questo libro
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.
Sull'Autore
è l'autore di Logic-based program synthesis and transformation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England) →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Logic-based program synthesis and transformation?+
Logic-based program synthesis and transformation è un libro di Logic programming, Logic, symbolic and mathematical, Computer science, Logic design.
Di cosa parla 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 ...
Chi ha scritto Logic-based program synthesis and transformation?+
Logic-based program synthesis and transformation è stato scritto da International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England).