La lecture à portée de main
Auteur
Suivre Paola Bruscoli And Alessio Guglielmi
Documents
A Tutorial on Proof Theoretic Foundations of Logic Programming
Paola Bruscoli And Alessio Guglielmi
Documents
Sciences formelles
A Tutorial on Proof Theoretic Foundations of Logic Programming
Paola Bruscoli And Alessio Guglielmi
19 pages
English