责任导师 : Thérèse HARDIN

Formalisation de la Théorie de la Réécriture dans le Système Coq

1999 刊物