langue originale | Anglais |
---|---|
titre | Logic Based Program Synthesis and Transformation |
Pages | 109-110 |
Nombre de pages | 2 |
Volume | 2664 |
Etat de la publication | Publié - 2002 |
Série de publications
Nom | Logic Based Program Synthesis and Transformation |
---|
Nancy Mazur, Gerda Janssens, Wim Vanhoof
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
langue originale | Anglais |
---|---|
titre | Logic Based Program Synthesis and Transformation |
Pages | 109-110 |
Nombre de pages | 2 |
Volume | 2664 |
Etat de la publication | Publié - 2002 |
Nom | Logic Based Program Synthesis and Transformation |
---|