Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

En informatique, la programmation modulaire repose sur l'utilisation de modules, qui sont des structures permettant de définir des espaces regroupant des éléments définis par le programmeur : ...

Le théâtre de la Lucarne à été créé un peu avant 1996. Il a récemment déménagé à bord d’une péniche sur un bras de moselle (à côté du plan d’eau de Metz). Auparavant, le théâtre de la Lucarne était ...

Le fonds a un double objectif :- Un objectif financier : participer à la performance des marchés internationaux, principalement actions, obligataires et de devises. La gestion cherchera notamment à ...