A logics workbench

• Authors:

• Alain Heuerding;Gerhard Jäger;Stefan Schwendimann;Michael Seyfried

• Affiliations:

• -;-;-;-

• Venue:
• AI Communications - Special issue on the Swiss priority programme in informatics research, module knowledge-based systems
• Year:
• 1996