From specifications to programs
Autoři | |
---|---|
Rok publikování | 1994 |
Druh | Článek ve sborníku |
Konference | Logic Program Synthesis and Transformation |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Teorie informace |
Související projekty: |
Autoři | |
---|---|
Rok publikování | 1994 |
Druh | Článek ve sborníku |
Konference | Logic Program Synthesis and Transformation |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Teorie informace |
Související projekty: |