ALADIN

1. language A Language for Attributed Definitions.

2. tool An interactive mathematics system for the IBM 360.

["A Conversational System for Engineering Assistance: ALADIN",

Y. Siret, Proc Second Symp Symb Algebraic Math, ACM Mar 1971].

(1995-04-13)