ReP USP - Resultado da busca

Monografia/livro-ed/org
Logic, language, information, and computation (2021)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 03 jun. 2024. , 2021
APA
Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4
NLM
Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Vancouver
Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Trabalho de evento
Entailment multipliers: an algebraic characterization of validity for classical and modal logics (2010)
Finger, Marcelo ; Hernandes, Maruricio S. C
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e HERNANDES, Maruricio S. C. Entailment multipliers: an algebraic characterization of validity for classical and modal logics. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-13824-9_1. Acesso em: 03 jun. 2024.
APA
Finger, M., & Hernandes, M. S. C. (2010). Entailment multipliers: an algebraic characterization of validity for classical and modal logics. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-13824-9_1
NLM
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Vancouver
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Trabalho de evento
Using α-ctl to specify complex planning goals (2008)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: FUNÇÕES BOOLEANAS, COMPUTABILIDADE E COMPLEXIDADE, LÓGICA FUZZY, TEORIA DA INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Using α-ctl to specify complex planning goals. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-69937-8_23. Acesso em: 03 jun. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2008). Using α-ctl to specify complex planning goals. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-69937-8_23
NLM
Pereira S do L, Barros LN de. Using α-ctl to specify complex planning goals [Internet]. Proceedings. 2008 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23
Vancouver
Pereira S do L, Barros LN de. Using α-ctl to specify complex planning goals [Internet]. Proceedings. 2008 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23

USP Schools

ReP

Filtros

Authors

Subjects