Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

Du même publieur

Logic in Logic Programming: Sequent Calculus, Higher-Orders, and Linear Logic
Fourth International School for Computer Science Researchers Acireale, Sicily
29 June – 3 July 1992
Dale Miller Computer Science Department University of Pennsylvania Philadelphia, PA 19104–6389 USA dale@cis.upenn.edu
Some corrections have been made on 5 July 1992.
slides/acireale/root
1
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin