Research Article

An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification

Figure 5

A three-prerequisite content.