Carregant...
Carregant...

Vés al contingut (premeu Retorn)

On the automatizability of resolution and related propositional proof systems

Autor
Atserias, A.; Bonet, M.
Tipus d'activitat
Article en revista
Revista
Information and computation
Data de publicació
2004-01
Volum
189
Pàgina inicial
182
Pàgina final
201
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
LOGPROG - Lògica i Programació

Participants