Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Term indexing techniques for automated reasoning

Autor
Nieuwenhuis, R.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
Eighth Workshop on Automated Reasoning
Any de l'edició
2001
Llibre d'actes
Procs. Eighth Workshop on Automated Reasoning
Pàgina inicial
56
Pàgina final
68
Grup de recerca
LOGPROG - Lògica i Programació

Participants