Paramodulation with built-in AC-theories and symbolic constraints

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

ISSN: 0747-7171

Argitalpen urtea: 1997

Alea: 23

Zenbakia: 1

Orrialdeak: 1-21

Mota: Artikulua

DOI: 10.1006/JSCO.1996.0074 GOOGLE SCHOLAR lock_openSarbide irekia editor

Objetivos de desarrollo sostenible

Datuen iturria: Scopus