Documents
Sciences formelles
A Tutorial on Proof Theoretic Foundations of Logic Programming
Auteur
Paola Bruscoli And Alessio Guglielmi
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.