Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Pas encore d'évaluations
2003 · Anglais · Broché
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture

Avis

Aucun avis pour le moment

Soyez le premier à donner votre avis sur ce livre et partagez vos pensées

Se connecter pour évaluer
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture