Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
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
Noch nicht die passende Literatur gefunden?
→ Book a Librarian
Ergebnis der Suche nach:
"1037902459"
im Bestand: Gesamter Bestand
1 - 8 von 8
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
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
Teilbestand nach VGG (2)
Hochschulschriften (1)
Alle Standorte
Frankfurt (8)
Leipzig (8)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration