- Tytuł:
- Engineering Design Supported by Many-Sorted First-Order Logic-Based Reasoning
- Autorzy:
-
Palacz, W.
Grabska, E.
Ślusarczyk, G.
Gajek, S. - Data publikacji:
- 2015
- Słowa kluczowe:
-
design requirements
many-sorted first-order logic
knowledge-based reasoning
design support system
hierarchical hypergraph - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł