Search by keyword: "logic programming language Prolog"
Verification of Knowledge Obtained in the Study of Business Process Models
| Authors: Devyatkov V.V., Kadyrbaeva A.R. | Published: 20.12.2020 |
| Published in issue: #4(133)/2020 | |
| DOI: 10.18698/0236-3933-2020-4-99-113 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: knowledge verification, test assignment, modal logic, logic programming language Prolog | |