The logics workbench LWB: a snapshot

TitleThe logics workbench LWB: a snapshot
Publication TypeJournal Article
Year of Publication1996
AuthorsHeuerding, A, Jäger, G, Schwendimann, S, Seyfried, M
JournalEuromath Bulletin
Volume2
Pagination177-186
URLhttp://www.iam.unibe.ch/ltgpub/1996/hjss96b.ps