Inference system environment for Ada

• Authors:

• Isabelle Attali;Paul Franchi-Zannettacci

• Affiliations:

• Univ. of Nice, Valbonne, France;Univ. of Nice, Valbonne, France

• Venue:
• Proceedings of the Ada-Europe International Conference on Ada-components: libraries and tools
• Year:
• 1987