- Tytuł:
- Design supported by many-sorted first-order logic constraints with aggregate operators
- Autorzy:
- Palacz, Wojciech
- Data publikacji:
- 2017
- Słowa kluczowe:
-
design support system
constraints
many-sorted first-order logic
design requirements
aggregate functions - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Artykuł