Parole chiave di "Program derivation = rules + strategies"
- Label
- Parole chiave di "Program derivation = rules + strategies" (literal)
- Keywords of "Program derivation = rules + strategies" (literal)
- Insieme di parole chiave di
- Program derivation = rules + strategies (Articolo in rivista) (Prodotto della ricerca)
- Ha membro
- program transformati (Parola chiave)
- program verification (Parola chiave)
- program synthesis (Parola chiave)
- logic programming (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Program derivation = rules + strategies (Articolo in rivista) (Prodotto della ricerca)
- Membro di
- logic programming (Parola chiave)
- program transformati (Parola chiave)
- program verification (Parola chiave)
- program synthesis (Parola chiave)
