Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Constraints and theorem proving

Autor
Nieuwenhuis, R.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2001-01
Número
2002
Pàgina inicial
159
Pàgina final
201
Grup de recerca
LOGPROG - Lògica i Programació

Participants