Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses

Autor
Nieuwenhuis, R.; Rivero, J.; Vallejo, M.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
1997-07
Volum
1249
Pàgina inicial
49
Pàgina final
53
Grup de recerca
LOGPROG - Lògica i Programació

Participants