Plus d’un million de livres, à portée de main !
Bookbot

Hubert Comon-Lundh Ordre des livres

    Rewriting techniques and applications
    Constraints in computational logics
    Rewriting, computation and proof
    Collection N. Dimathème: Mathématiques