This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Veröffentlichungen »
Publikationen »
Higher order algebra, logic and term rewriting

Higher order algebra, logic and term rewriting

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

erschienen 1994 LNCS 816, 1994.