http://csis.pace.edu/~scharff/images/littleengine.jpg

This web site described the work realized under grant NSF ITR: Little Engines of Proof #0326540 (2003-2007). The grant was awarded to Drs. Natarajan Shankar(PI), Harald Ruess (Co-PI), Ashish Tiwari (Co-PI) (Stanford Research Insitute, SRI), Christopher Lynch (Co-PI) (Clarkson University) and Christelle Scharff (Co-PI) (Pace University).

LEP: Home (last edited 2013-06-04 03:44:17 by localhost)