| |||||
|
| ||||
|
Software | Description | Platforms | Avail. | Contact Info | Updated | |||||
CAL5(ftp) | (contact person Wolfgang Mueller... <more> | May 5th, 2005 | ||||||||
DIPOL | Hybrid learning system | on demand | Sep 21st, 1999 | |||||||
IPAL/DPlan | A system that combines inductive program synthesis with p... <more> | Currently implemented for Allegro Common Lisp | online | Sep 22nd, 1999 | ||||||
Software | Description | Platforms | Avail. | Contact Info | Updated | |||||
MATCHBOX | Software Tool for Matching and Comparing Structures | Sun Solaris | on demand | Jul 2nd, 2000 |
|
| |||