Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
DAGSTUHL SEMINAR PROCEEDINGS
Serie
Codice:
E211637
ISSN:
1862-4405
Dati Generali
Dati Generali
Pubblicazioni (2)
Designing Organizations: Towards a Model
Contributo in Atti di convegno
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs
Abstract
No Results Found
