En tant que jeune informaticienne, vous travaillez déjà sur divers projets. Qu'est-ce qui vous a attiré vers la technologie?

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, une bibliothèque ou librairie [1] logicielle (ou encore, bibliothèque de programmes) est un ensemble de fonctions utilitaires, regroupées et mises à disposition afin de pouvoir être ...