Recherche
-
Ellipse et coordination en grammaire logique
Communication dans un congrès -
The Génolevures online database
Communication dans un congrès -
Efficient and scalable parallel graph partitioning
Communication dans un congrès -
Scotch and libScotch 5.1 User's Guide
(2008-08-04)Autre document -
PT-Scotch and libScotch 5.1 User's Guide
(2008-08-04)Autre document -
Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic
Communication dans un congrès -
Proof nets without links for Lambek calculus and partially commutative linear logic
Communication dans un congrès -
Réalité Augmentée en extérieur : Enjeux et Etat de l'Art
Communication dans un congrès -
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès