Towards structurally-free theorem proving (1998)
Fonte: 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: 15 nov. 2025.APA
Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425NLM
Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/6.3.425Vancouver
Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
