Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Materialarten:	Bücher

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: "1037902459"
im Bestand: Gesamter Bestand

1 - 8 von 8

	1	A first-order axiomatization of the theory of finite trees Backofen, Rolf. - Kaiserslautern : DFKI, 1995
	2	A complete axiomatization of a theory with feature and arity constraints Backofen, Rolf. - Kaiserslautern : DFKI, 1994
	3	Expressivity and decidability of first-order languages over feature trees Backofen, Rolf, 1994
	4	How to win a game with features Backofen, Rolf. - Kaiserslautern : DFKI, 1994
	5	Regular path expressions in feature logic Backofen, Rolf. - Kaiserslautern : DFKI, 1993
	6	A complete and recursive feature theory Backofen, Rolf. - Kaiserslautern : DFKI, 1992
	7	Linking typed feature formalisms and terminological knowledge representation languages in natural language front ends Backofen, Rolf. - Kaiserslautern : DFKI, 1991
	8	Towards the integration of functions, relations and types in an AI programming language Backofen, Rolf. - Kaiserslautern : DFKI, 1991

1 - 8 von 8

Alle Materialarten > Bücher (8)

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen