ISETL

Interactive SETL by Gary Levin .

Latest version: 3.0.

Binaries and source forMS-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.]

ISETL

Acronym	Definition
ISETL➣International Society for Exploring Teaching and Learning
ISETL➣Interactive Set Language

随便看

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。