The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio] (2017)
- Authors:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- Subjects: CIÊNCIA DA COMPUTAÇÃO; ENGENHARIA DE SOFTWARE; INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Imprenta:
- Publisher: Springer International Publishing
- Publisher place: Cham
- Date published: 2017
- Source:
-
ABNT
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. Disponível em: http://www.springer.com/us/book/9783319661667. Acesso em: 27 dez. 2025. , 2017 -
APA
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. (2017). The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. Recuperado de http://www.springer.com/us/book/9783319661667 -
NLM
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio] [Internet]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 2017 ;[citado 2025 dez. 27 ] Available from: http://www.springer.com/us/book/9783319661667 -
Vancouver
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio] [Internet]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 2017 ;[citado 2025 dez. 27 ] Available from: http://www.springer.com/us/book/9783319661667 - Structurally-free theorem proving and the learning of structural permissions in categorial grammar
- Towards structurally-free theorem proving
- Polynomial approximations of full propositional logic via limited bivalence
- Towards polynomial approximations of full propositional logic
- Imperative history: two-dimensional executable temporal logic
- Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação
- Advances in weighted logics for artificial intelligence. [Editorial]
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
- Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”
- Sharing resource-sensitive knowledge using combinator logics
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
