Aspects of Computational Logic

TitleAspects of Computational Logic
Publication TypePhD Thesis
Year of Publication1998
AuthorsSchwendimann, S
URLhttp://www.iam.unibe.ch/ltgpub/1998/sch98b.ps