Algorithms for deciding counting quantifiers over unary predicates (2017)
Finger, Marcelo 
; De Bona, Glauber
Fonte: Proceedings. Nome do evento: AAAI Conference on Artificial Intelligence. Unidades: IME, EP
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113. Acesso em: 08 out. 2025. , 2017APA
Finger, M., & De Bona, G. (2017). Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113NLM
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2025 out. 08 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113Vancouver
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2025 out. 08 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
