Towards automated first-order abduction: the cut-based approach (2012)
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA DE PRIMEIRA ORDEM
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: 11 set. 2024.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/jzq052NLM
Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2024 set. 11 ] Available from: https://doi.org/10.1093/jigpal/jzq052Vancouver
Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2024 set. 11 ] Available from: https://doi.org/10.1093/jigpal/jzq052