Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Modular Redundancy for Theorem Proving

Autor
Bofill, M.; Godoy, G.; Nieuwenhuis, R.; Rubio, A.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2000-03
Volum
1794
Pàgina inicial
186
Pàgina final
199
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
LOGPROG - Lògica i Programació

Participants