Communication Dans Un Congrès
Année : 2008
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527897
Soumis le : mercredi 20 octobre 2010-15:35:25
Dernière modification le : vendredi 24 mars 2023-14:52:53
Citer
Alexis Saurin. Towards Ludics Programming: Interactive Proof Search. 24th International Conference on Logic Programming - ICLP 2008, Dec 2008, Udine, Italy. pp.253-268, ⟨10.1007/978-3-540-89982-2_27⟩. ⟨hal-00527897⟩
Collections
140
Consultations
0
Téléchargements