Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Benoit Sauzay

est l'auteur d'une thèse

Algèbre de combinateurs Cognition Compilation Compilation DOAG Schème sémantico-cognitif Structure Sémantique T[Σ]-algèbre Treille

Fullscreen

Algèbre de combinateurs Cognition Compilation Compilation DOAG Schème sémantico-cognitif Structure Sémantique T[Σ]-algèbre Treille

Benoit Sauzay a rédigé la thèse suivante :

Le concept informatique de « compilation généralisée » dans les sciences cognitives (linguistique, logique et intelligence artificielle) : contribution aux rapports entre la logique combinatoire et les T[Σ]-algèbres

par Benoit Sauzay sous la direction de Jean-Pierre Desclès - Paris 4

Informatique

Soutenue le 26-10-2013

Thèse soutenue