Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Paramodulation with Built-in AC-Theories and Symbolic Constraints

Autor
Nieuwenhuis, R.; Rubio, A.
Tipus d'activitat
Article en revista
Revista
Journal of symbolic computation
Data de publicació
1997-03
Volum
23
Número
1
Pàgina inicial
1
Pàgina final
21
Grup de recerca
LOGPROG - Lògica i Programació

Participants