Carregant...
Carregant...

Vés al contingut (premeu Retorn)

On the evaluation of indexing techniques for theorem proving

Autor
Nieuwenhuis, R.; Hillenbrand, T.; Riazanov, A.; Voronkov, A.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2001-06
Número
2083
Pàgina inicial
257
Pàgina final
271
Grup de recerca
LOGPROG - Lògica i Programació

Participants