Connectez-vous pour ajouter ce livre à votre bibliothèque.
Selected papers on Automath
Robert Pieter Nederpelt, Herman Geuvers, Roel de Vrijer, L Benthem Jutting, Diederik T. van Daalen
Autre
Première publication : 1994
