Paramodulation with built-in AC-theories and symbolic constraints

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

ISSN: 0747-7171

Datum der Publikation: 1997

Ausgabe: 23

Nummer: 1

Seiten: 1-21

Art: Artikel

DOI: 10.1006/JSCO.1996.0074 GOOGLE SCHOLAR lock_openOpen Access editor

Ziele für nachhaltige Entwicklung

Datenquelle: Scopus