Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Decidability and Complexity Analysis by Basic Paramodulation

Autor
Nieuwenhuis, R.
Tipus d'activitat
Article en revista
Revista
Information and computation
Data de publicació
1998-10
Volum
147
Número
1
Pàgina inicial
1
Pàgina final
21
Grup de recerca
LOGPROG - Lògica i Programació

Participants