Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: swiRef=041673557
im Bestand: Gesamter Bestand

1 - 2 von 2

	1	Relevancy based use lemmas in connection tableau calculi Fuchs, Marc. - Berlin : Akad. Verl.-Ges. Aka, 2000
	2	Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung Heinz, Birgit. - München : Oldenbourg, 1996

1 - 2 von 2