Towards polynomial approximations of full propositional logic
Marcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004Berlin Springer 2004
Localização: IME - Inst. Matemática e Estatística (PROD-1412242 ) e outros locais(Acessar)