共 50 条
- [7] Higher-order lazy narrowing calculus: A solver for higher-order equations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
- [8] Encryption activity to improve higher-order thinking in engineering students International Journal on Interactive Design and Manufacturing (IJIDeM), 2021, 15 : 299 - 316
- [9] Encryption activity to improve higher-order thinking in engineering students INTERNATIONAL JOURNAL OF INTERACTIVE DESIGN AND MANUFACTURING - IJIDEM, 2021, 15 (2-3): : 299 - 316