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

G. Dowek, J. Heering, K. Meinke, B. Möller (eds.)

erschienen 1996 LNCS 1074, 1996.