Using abduction to compute efficient proofs (2009)
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Assunto: LÓGICA FORMAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.07.047. Acesso em: 20 jan. 2026. , 2009APA
Finger, M. (2009). Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.07.047NLM
Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047Vancouver
Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2026 jan. 20 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047
