Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Stratified Resolution

Autor
Degtyarev, A.; Nieuwenhuis, R.; Voronkov, A.
Tipus d'activitat
Article en revista
Revista
Journal of symbolic computation
Data de publicació
2003-07
Volum
36
Número
1
Pàgina inicial
79
Pàgina final
99
Grup de recerca
LOGPROG - Lògica i Programació

Participants