Use of multiple intelligences and instructional technologies in learning theory of computation: An experimental case study | IEEE Conference Publication | IEEE Xplore