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
- Standorte:
Leipzig
Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
Ergebnis der Suche nach:
tit all "Logic grammars."
im Bestand: Gesamter Bestand
1 - 10 von 16
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
Spatial Existential Positive Logics for Hyperedge Replacement Grammars
Nakamura, Yoshiki. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
2
Conjunctive Grammars, Cellular Automata and Logic
Grente, Théo. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
3
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Jansen, Christina. - Aachen : Universitätsbibliothek der RWTH Aachen, 2017
4
Tree Grammars for the Elimination of Non-prenex Cuts
Hetzl, Stefan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
5
The logic of categorial grammars
Moot, Richard. - Berlin : Springer, 2012
6
The Logic of Categorial Grammars
Moot, Richard. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
7
Dependency structures and lexicalized grammars
Kuhlmann, Marco. - Berlin : Springer, 2010
8
Timed Definite Clause Omega-Grammars
Saeedloei, Neda. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
9
International Workshop Grammars, Automata, and Logic on Graphs and Trees
International Workshop on Grammars, Automata, and Logic on Graphs and Trees (1999 : Dresden). - Dresden : TU, Fak. Informatik, 1999
10
Off-line compilation for efficient processing with constraint logic grammars
Minnen, Guido. - Stuttgart : Univ., Sonderforschungsbereich 340, 1998
1 - 10 von 16
Alle Materialarten
Bücher (7)
Online Ressourcen (9)
Artikel (6)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (3)
Hochschulschriften (3)
Alle Standorte
>
Leipzig (16)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration