skip to main content

Conditional term rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems, 1., Orsay, 1987 Jean-Pierre Jouannaud

Berlin Springer 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.308 ex.1 ) e outros locais(Acessar)

Buscando em bases de dados remotas. Favor aguardar.