Résultat(s) 1 - 2 résultats de 2 pour la requête 'Geuvers, Herman', Temps de recherche: 0,01s
Affiner les résultats
-
1
Type theory and formal proof an introduction par Nederpelt, Rob, Geuvers, Herman
Publié 2014Cote: loading...
Localisé: loading...Livre loading... -
2
Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings
Publié 2011Cote: loading...Available for the University of the Philippines Diliman via SpringerLink. Click here to access
Localisé: loading...
Electronic Resource