
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: |
Přejít k obsahu | Přejít k hlavnímu menu | Přejít k vyhledávání
Další možnosti studia
Další možnosti studia
Autoři |
ZLATUŠKA Jiří GILBERT David HOGGER Chris |
---|---|
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: |