Isetl

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  ISETL
       
          Interactive {SETL} by Gary Levin .
       
          Current version: 3.0.
       


          {Binaries (ftp://sun.soe.clarkson.edu/)} and source for
          {MS-DOS}, {Macintosh}, {Unix}, {VAX}/{VMS}.
       
          [Clarkson U.  "An Introduction to ISETL Version 1.9",
          G.M. Levin, Dept MCS, Clarkson U].
       
          ["Learning discrete mathematics with ISETL", Nancy Baxter.
          Ed. Gary Levin Dubinsky.  Springer-Verlag, c.1989.]
       
          (Apr 1994)