- Tytuł:
- A graphical tabular model for rule-based logic programming and verification
- Autorzy:
-
Nalepa, G. J.
Ligęza, A. - Data publikacji:
- 2005
- Słowa kluczowe:
-
systemy ekspertowe
Prolog
logic programming
expert systems
graphical tabular model
formal verification procedures
visual information modeling - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł