- Tytuł:
- Engineering design supported by many-sorted first-order logic-based reasoning
- Autorzy:
-
Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna - Data publikacji:
- 2015
- Słowa kluczowe:
-
design support system
many-sorted first-order logic
design requirements
knowledge-based reasoning
hierarchical hypergraphs - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Artykuł