Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Marcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)
Proceedings Cham: Springer, 2018
Cham Springer 2018
Localização:
IME - Inst. Matemática e Estatística
(PROD-2896586 )(Acessar)