Documents
Etudes supérieures
Program extraction from proofs: computable analysis and parser generation
Auteur
Ulrich Berger
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.