Diese Seite auf deutsch

Search

Sitemap

Kontakt

E-Mail

Computer Science »
Chairs »
Databases and Information Systems »
Prof. Möller »
Publications »
Publications »
Higher order algebra, logic and term rewriting

Higher order algebra, logic and term rewriting

Heering, K. Meinke, B. Möller, T. Nipkow (eds.)

published 1994 LNCS 816, 1994.