author = { Kirman, Jerome Bordeaux AND Courcelle, Bruno AND Clément, Lionel AND Salvati, Sylvain },

title = { Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues ; A high-level syntactic formalism for natural language processing },

keywords = { Logic , Lambda-calcul , Syntaxe modèle-théorique , Logique , Grammaires catégorielles abstraites , Model-theoretic syntax , Abstract categorial grammars , Lambda-calculus , Computational linguistics , Linguistique informatique },

year = {2015-12-04},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }