LWB - a logics workbench, extended abstract

TitleLWB - a logics workbench, extended abstract
Publication TypeConference Paper
Year of Publication1995
AuthorsHeuerding, A, Jäger, G, Schwendimann, S, Seyfried, M
EditorDreschler-Fischer, L, Pribbenow, S
Conference NameProceedings of KI-95 Activities: Workshop, Posters, Demos
Pagination73-74
PublisherGesellschaft für Informatik