skip to main content

An improved general E-unification method

Dougherty, Daniel J. ; Johann, Patricia

Journal of symbolic computation, 1992, Vol.14 (4), p.303-320 [Periódico revisado por pares]

Orlando, FL: Elsevier Ltd

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.