Carregant...
Carregant...

Vés al contingut (premeu Retorn)

New Ideas on Term Indexing

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

Participants