Logic-Based Program Synthesis and Transformation
Guardat en:
Autors principals: | Fioravanti, Fabio, Gallagher, John P. |
---|---|
Format: | Llibre |
Idioma: | English |
Publicat: |
Springer International Publishing
2020
|
Matèries: | |
Accés en línia: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87738 |
Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Ítems similars
-
Logic Based Program Synthesis and Transformation
Publicat: (2020) -
Logic-Based Program Synthesis and Transformation
per: Hermenegildo, Manuel V, et al.
Publicat: (2020) -
Logic Programming and Nonmonotonic Reasoning
per: Baral, Chitta, et al.
Publicat: (2020) -
Logic-Based Program Synthesis and Transformation
Publicat: (2020) -
Model-Based Safety and Assessment
per: Bozzano, Marco, et al.
Publicat: (2020)