Paramodulation with built-in AC-theories and symbolic constraints

  1. Nieuwenhuis, R.
  2. Rubio, A.
Revista:
Journal of Symbolic Computation

ISSN: 0747-7171

Ano de publicación: 1997

Volume: 23

Número: 1

Páxinas: 1-21

Tipo: Artigo

DOI: 10.1006/JSCO.1996.0074 GOOGLE SCHOLAR lock_openAcceso aberto editor

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus