- Tytuł:
- Design Supported by Many-Sorted First-Order Logic Constraints with Aggregate Operators
- Autorzy:
- Palacz, W.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
design requirements
design support system
constraints
many-sorted first-order logic
aggregate functions - Pokaż więcej
- Dostawca treści:
- BazTech