ISETL
Interactive SETL by Gary Levin <gary@clutx.clarkson.edu>.
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.
| < Previous Terms | Terms Containing ISETL | Next Terms > |
| ISDE ISDN ISE ISEE I see no X here. | ISETL SETL | ISF ISINDEX ISIS IS-IS ISL |
