Présentation de l'auteur Nissim Francez :

Livres publiés jusqu'à présent par Nissim Francez :

Une vue des logiques connexives - A View of Connexive Logics
Kings College Pubn
Ce livre est la première monographie sur le thème des logiques connexives, une famille de logiques...
Une vue des logiques connexives - A View of Connexive Logics
Grammaires d'unification - Unification Grammars
Cambridge
Les grammaires des langues naturelles peuvent être exprimées comme des objets mathématiques, semblables à des programmes...
Grammaires d'unification - Unification Grammars
Sémantique de la théorie de la preuve - Proof-theoretic Semantics
Kings College Pubn
Ce livre est une monographie sur le thème de la sémantique de la théorie de la preuve, une...
Sémantique de la théorie de la preuve - Proof-theoretic Semantics
<<
1
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)