CORE

🇺🇦   make metadata, not war

    2 research outputs found

    Sur la finitude des dérivations de la programmation en logique

    Author
    Publication venue
    LIFL : Laboratoire d'informatique fondamentale de Lille
    Publication date
    Field of study
    No full text
    International audienc
    Scientific Publications of the University of Toulouse II Le Mirail

    Sur la finitude des dérivations de la programmation en logique

    Author
    Publication venue
    Laboratoire d'informatique fondamentale de Lille
    Publication date
    Field of study
    No full text
    International audienc
    Scientific Publications of the University of Toulouse II Le Mirail
    HAL-Paris 13
    corecore