Carregant...
Carregant...

Vés al contingut (premeu Retorn)

The Barcelona Prover

Autor
Nieuwenhuis, R.; Rivero, J.; Vallejo, M.
Tipus d'activitat
Article en revista
Revista
Journal of automated reasoning
Data de publicació
1997-03
Volum
18
Número
2
Pàgina inicial
171
Pàgina final
176
Grup de recerca
LOGPROG - Lògica i Programació

Participants