ReP USP - Resultado da busca

Artigo de periodico
Comparative analysis of data sampling techniques for legal text classification in real-world scenarios (2026)
Freire, Daniela Lopes ; Silva, Leandro Oliveira da; Dias, Márcio de Souza ; Almeida, Alex Marino de ; Rivolli, Adriano ; Pereira, Fabíola Souza Fernandes ; Godoi, Giliard Almeida de ; Basgalupp, Márcio Porto ; Carvalho, André Carlos Ponce de Leon Ferreira de
Source: Logic Journal of the IGPL. Unidade: ICMC
Subjects: APRENDIZADO COMPUTACIONAL, RECONHECIMENTO DE TEXTO, PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FREIRE, Daniela Lopes et al. Comparative analysis of data sampling techniques for legal text classification in real-world scenarios. Logic Journal of the IGPL, v. 34, n. 1, p. 1-11, 2026Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzaf044. Acesso em: 17 fev. 2026.
APA
Freire, D. L., Silva, L. O. da, Dias, M. de S., Almeida, A. M. de, Rivolli, A., Pereira, F. S. F., et al. (2026). Comparative analysis of data sampling techniques for legal text classification in real-world scenarios. Logic Journal of the IGPL, 34( 1), 1-11. doi:10.1093/jigpal/jzaf044
NLM
Freire DL, Silva LO da, Dias M de S, Almeida AM de, Rivolli A, Pereira FSF, Godoi GA de, Basgalupp MP, Carvalho ACP de LF de. Comparative analysis of data sampling techniques for legal text classification in real-world scenarios [Internet]. Logic Journal of the IGPL. 2026 ; 34( 1): 1-11.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzaf044
Vancouver
Freire DL, Silva LO da, Dias M de S, Almeida AM de, Rivolli A, Pereira FSF, Godoi GA de, Basgalupp MP, Carvalho ACP de LF de. Comparative analysis of data sampling techniques for legal text classification in real-world scenarios [Internet]. Logic Journal of the IGPL. 2026 ; 34( 1): 1-11.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzaf044
Artigo de periodico
On elementary equivalence of real semigroups of preordered rings (2025)
Miraglia Neto, Francisco ; Mariano, Hugo Luiz
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: SEMIGRUPOS TOPOLÓGICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e MARIANO, Hugo Luiz. On elementary equivalence of real semigroups of preordered rings. Logic Journal of the IGPL, v. 33, n. 2, 2025Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzad028. Acesso em: 17 fev. 2026.
APA
Miraglia Neto, F., & Mariano, H. L. (2025). On elementary equivalence of real semigroups of preordered rings. Logic Journal of the IGPL, 33( 2). doi:10.1093/jigpal/jzad028
NLM
Miraglia Neto F, Mariano HL. On elementary equivalence of real semigroups of preordered rings [Internet]. Logic Journal of the IGPL. 2025 ; 33( 2):[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzad028
Vancouver
Miraglia Neto F, Mariano HL. On elementary equivalence of real semigroups of preordered rings [Internet]. Logic Journal of the IGPL. 2025 ; 33( 2):[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzad028
Artigo de periodico
Proving properties of binary classification neural networks via Łukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, v. 31, n. 5, p. 805-821, 2023Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 17 fev. 2026.
APA
Preto, S., & Finger, M. (2023). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, 31( 5), 805-821. doi:10.1093/jigpal/jzac050
NLM
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Vancouver
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Artigo de periodico
Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies (2017)
Stern, Julio Michael
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: FILOSOFIA DA CIÊNCIA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, v. 25, n. 4, p. 604-631, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx017. Acesso em: 17 fev. 2026.
APA
Stern, J. M. (2017). Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, 25( 4), 604-631. doi:10.1093/jigpal/jzx017
NLM
Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzx017
Vancouver
Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzx017
Artigo de periodico
Algebraizable logics and a functorial encoding of its morphisms (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, LÓGICA ALGÉBRICA, ÁLGEBRA HOMOLÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 17 fev. 2026.
APA
Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Artigo de periodico
AGM-like paraconsistent belief change (2017)
Testa, Rafael Rodrigues; Coniglio, Marcelo Esteban ; Ribeiro, Márcio Moretto
Source: Logic Journal of the IGPL. Unidade: EACH
Subjects: LÓGICA MATEMÁTICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TESTA, Rafael Rodrigues e CONIGLIO, Marcelo Esteban e RIBEIRO, Márcio Moretto. AGM-like paraconsistent belief change. Logic Journal of the IGPL, v. 25, n. 4, p. 632-672, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx010. Acesso em: 17 fev. 2026.
APA
Testa, R. R., Coniglio, M. E., & Ribeiro, M. M. (2017). AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25( 4), 632-672. doi:10.1093/jigpal/jzx010
NLM
Testa RR, Coniglio ME, Ribeiro MM. AGM-like paraconsistent belief change [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 632-672.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzx010
Vancouver
Testa RR, Coniglio ME, Ribeiro MM. AGM-like paraconsistent belief change [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 632-672.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzx010
Artigo de periodico-carta/editorial
Special issue CISIS13-IGPL [Editorial] (2016)
Herrero, Álvaro; Baruque, Bruno; Abraham, Ajith; Carvalho, André Carlos Ponce de Leon Ferreira de ; Bringas, Pablo García; Quintián, Héctor; Corchado, Emilio
Source: Logic Journal of the IGPL. Conference titles: International Conference on Computational Intelligence in Security for Information Systems - CISIS. Unidade: ICMC
Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERRERO, Álvaro et al. Special issue CISIS13-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/jigpal/jzv040. Acesso em: 17 fev. 2026. , 2016
APA
Herrero, Á., Baruque, B., Abraham, A., Carvalho, A. C. P. de L. F. de, Bringas, P. G., Quintián, H., & Corchado, E. (2016). Special issue CISIS13-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1093/jigpal/jzv040
NLM
Herrero Á, Baruque B, Abraham A, Carvalho ACP de LF de, Bringas PG, Quintián H, Corchado E. Special issue CISIS13-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2016 ; 24( 1): 1-3.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzv040
Vancouver
Herrero Á, Baruque B, Abraham A, Carvalho ACP de LF de, Bringas PG, Quintián H, Corchado E. Special issue CISIS13-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2016 ; 24( 1): 1-3.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzv040
Artigo de periodico-carta/editorial
Special issue HAIS12-IGPL [Editorial] (2015)
Quintián, Héctor; Corchado, Emilio; Carvalho, André Carlos Ponce de Leon Ferreira de ; Abraham, Ajith; Wozniak, Michal; Graña, Manuel; Sung-Bae, Cho
Source: Logic Journal of the IGPL. Conference titles: International Conference on Hybrid Artificial Intelligent Systems - HAIS. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
QUINTIÁN, Héctor et al. Special issue HAIS12-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/jigpal/jzv010. Acesso em: 17 fev. 2026. , 2015
APA
Quintián, H., Corchado, E., Carvalho, A. C. P. de L. F. de, Abraham, A., Wozniak, M., Graña, M., & Sung-Bae, C. (2015). Special issue HAIS12-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1093/jigpal/jzv010
NLM
Quintián H, Corchado E, Carvalho ACP de LF de, Abraham A, Wozniak M, Graña M, Sung-Bae C. Special issue HAIS12-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2015 ; 23( 3): 1-4.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzv010
Vancouver
Quintián H, Corchado E, Carvalho ACP de LF de, Abraham A, Wozniak M, Graña M, Sung-Bae C. Special issue HAIS12-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2015 ; 23( 3): 1-4.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzv010
Artigo de periodico
Logical consistency in simultaneous statistical test procedures (2015)
Izbicki, Rafael; Esteves, Luis Gustavo
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: ESTATÍSTICA, INFERÊNCIA PARAMÉTRICA, TESTES DE HIPÓTESES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IZBICKI, Rafael e ESTEVES, Luis Gustavo. Logical consistency in simultaneous statistical test procedures. Logic Journal of the IGPL, v. 23, n. 5, p. 732-758, 2015Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzv027. Acesso em: 17 fev. 2026.
APA
Izbicki, R., & Esteves, L. G. (2015). Logical consistency in simultaneous statistical test procedures. Logic Journal of the IGPL, 23( 5), 732-758. doi:10.1093/jigpal/jzv027
NLM
Izbicki R, Esteves LG. Logical consistency in simultaneous statistical test procedures [Internet]. Logic Journal of the IGPL. 2015 ; 23( 5): 732-758.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzv027
Vancouver
Izbicki R, Esteves LG. Logical consistency in simultaneous statistical test procedures [Internet]. Logic Journal of the IGPL. 2015 ; 23( 5): 732-758.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzv027
Artigo de periodico
Bayesian epistemic values: focus on surprise, measure probability (2014)
Stern, Julio Michael ; Pereira, Carlos Alberto de Bragança
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: INFERÊNCIA BAYESIANA, PROBABILIDADE, ESTATÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael e PEREIRA, Carlos Alberto de Bragança. Bayesian epistemic values: focus on surprise, measure probability. Logic Journal of the IGPL, v. 22, n. 2, p. 236-254, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt023. Acesso em: 17 fev. 2026.
APA
Stern, J. M., & Pereira, C. A. de B. (2014). Bayesian epistemic values: focus on surprise, measure probability. Logic Journal of the IGPL, 22( 2), 236-254. doi:10.1093/jigpal/jzt023
NLM
Stern JM, Pereira CA de B. Bayesian epistemic values: focus on surprise, measure probability [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 236-254.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzt023
Vancouver
Stern JM, Pereira CA de B. Bayesian epistemic values: focus on surprise, measure probability [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 236-254.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzt023
Artigo de periodico
Completeness for cut-based abduction (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Source: Logic Journal of the IGPL. Conference titles: Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Completeness for cut-based abduction. Logic Journal of the IGPL, v. 22, n. 2, p. 286-296, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt028. Acesso em: 17 fev. 2026.
APA
Arruda, A. M., & Finger, M. (2014). Completeness for cut-based abduction. Logic Journal of the IGPL, 22( 2), 286-296. doi:10.1093/jigpal/jzt028
NLM
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Vancouver
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Artigo de periodico
Towards automated first-order abduction: the cut-based approach (2012)
Finger, Marcelo
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA DE PRIMEIRA ORDEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, v. 20, n. 2, p. 370-387, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq052. Acesso em: 17 fev. 2026.
APA
Finger, M. (2012). Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, 20( 2), 370-387. doi:10.1093/jigpal/jzq052
NLM
Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzq052
Vancouver
Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzq052
Artigo de periodico
A hybrid approach to learn with imbalanced classes using evolutionary algorithms (2011)
Milaré, Claudia Regina; Batista, Gustavo Enrique de Almeida Prado Alves; Carvalho, André Carlos Ponce de Leon Ferreira de
Source: Logic Journal of the IGPL. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MILARÉ, Claudia Regina e BATISTA, Gustavo Enrique de Almeida Prado Alves e CARVALHO, André Carlos Ponce de Leon Ferreira de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms. Logic Journal of the IGPL, v. 19, n. 2, p. 293-303, 2011Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq027. Acesso em: 17 fev. 2026.
APA
Milaré, C. R., Batista, G. E. de A. P. A., & Carvalho, A. C. P. de L. F. de. (2011). A hybrid approach to learn with imbalanced classes using evolutionary algorithms. Logic Journal of the IGPL, 19( 2), 293-303. doi:10.1093/jigpal/jzq027
NLM
Milaré CR, Batista GE de APA, Carvalho ACP de LF de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms [Internet]. Logic Journal of the IGPL. 2011 ; 19( 2): 293-303.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzq027
Vancouver
Milaré CR, Batista GE de APA, Carvalho ACP de LF de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms [Internet]. Logic Journal of the IGPL. 2011 ; 19( 2): 293-303.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/jzq027
Artigo de periodico
The unrestricted combination of temporal logic systems (2002)
Finger, Marcelo ; Weiss, Maria Angela
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 17 fev. 2026.
APA
Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165
NLM
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Vancouver
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Artigo de periodico
Labelled natural deduction for substructural logics (1999)
Broda, Krysia; Finger, Marcelo ; Russo, Alessandra
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRODA, Krysia e FINGER, Marcelo e RUSSO, Alessandra. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999Tradução . . Disponível em: https://doi.org/10.1093/jigpal/7.3.283. Acesso em: 17 fev. 2026.
APA
Broda, K., Finger, M., & Russo, A. (1999). Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7( 3), 283-318. doi:10.1093/jigpal/7.3.283
NLM
Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
Vancouver
Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
Artigo de periodico
Towards structurally-free theorem proving (1998)
Finger, Marcelo
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998Tradução . . Disponível em: https://doi.org/10.1093/jigpal/6.3.425. Acesso em: 17 fev. 2026.
APA
Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425
NLM
Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
Vancouver
Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
Artigo de periodico
Parsing natural language using LDS: a prototype (1997)
Finger, Marcelo ; Kibble, Rodger; Gabbay, Dov M; Kempson, Ruth M
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo et al. Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, v. 5, n. 5, p. 647-671, 1997Tradução . . Disponível em: https://doi.org/10.1093/jigpal/5.5.647. Acesso em: 17 fev. 2026.
APA
Finger, M., Kibble, R., Gabbay, D. M., & Kempson, R. M. (1997). Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, 5( 5), 647-671. doi:10.1093/jigpal/5.5.647
NLM
Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/5.5.647
Vancouver
Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1093/jigpal/5.5.647

USP Schools

ReP

Filtros

Departament

Authors

USP affiliated authors

Date published

Subjects

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration