browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z
isetl


isetl


  1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [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)