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: 12 fev. 2026. , 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 2026 fev. 12 ] 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 2026 fev. 12 ] Available from: http://www.springer.com/us/book/9783319661667 - Analytic methods for the logic of proofs
- Computational solutions for structural constraints: learning structural permissions in categorial grammar
- Sharing resource-sensitive knowledge using combinator logics
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Advances in weighted logics for artificial intelligence. [Editorial]
- Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação
- Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
- Electronic Notes in Theoretical Computer Science
- A logical reconstruction of temporal databases
- On the predictability of classical propositional logic
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
