An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification
Zeitschrift:
Mathematical Problems in Engineering
ISSN: 1563-5147, 1024-123X
Datum der Publikation: 2020
Ausgabe: 2020
Art: Artikel