ReP USP - Resultado da busca

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: 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/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 2024 set. 11 ] 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 2024 set. 11 ] Available from: https://doi.org/10.1093/jigpal/jzq052
Artigo de periodico
Resource use pattern analysis for predicting resource availability in opportunistic grids (2010)
Finger, Marcelo ; Bezerra, Germano Capistrano; Conde, Danilo Matheus Rubio
Source: Concurrency and Computation. Practice & Experience. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e BEZERRA, Germano Capistrano e CONDE, Danilo Matheus Rubio. Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience, v. 22, n. 2, p. 295-313, 2010Tradução . . Disponível em: https://doi.org/10.1002/cpe.1478. Acesso em: 11 set. 2024.
APA
Finger, M., Bezerra, G. C., & Conde, D. M. R. (2010). Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience, 22( 2), 295-313. doi:10.1002/cpe.1478
NLM
Finger M, Bezerra GC, Conde DMR. Resource use pattern analysis for predicting resource availability in opportunistic grids [Internet]. Concurrency and Computation. Practice & Experience. 2010 ; 22( 2): 295-313.[citado 2024 set. 11 ] Available from: https://doi.org/10.1002/cpe.1478
Vancouver
Finger M, Bezerra GC, Conde DMR. Resource use pattern analysis for predicting resource availability in opportunistic grids [Internet]. Concurrency and Computation. Practice & Experience. 2010 ; 22( 2): 295-313.[citado 2024 set. 11 ] Available from: https://doi.org/10.1002/cpe.1478
Trabalho de evento-anais periodico
Analytic methods for the logic of proofs (2010)
Finger, Marcelo
Source: Journal of Logic and Computation. Conference titles: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 11 set. 2024. , 2010
APA
Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065
NLM
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2024 set. 11 ] Available from: https://doi.org/10.1093/logcom/exn065
Vancouver
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2024 set. 11 ] Available from: https://doi.org/10.1093/logcom/exn065
Artigo de periodico
Application execution management on the InteGrade opportunistic grid middleware (2010)
Silva, Francisco José da Silva e; Kon, Fábio ; Goldman, Alfredo ; Finger, Marcelo ; De Camargo, Raphael Y.; Castor Filho, Fernando; Costa, Fábio Moraes da
Source: Journal of Parallel and Distributed Computing. Unidade: IME
Assunto: MIDDLEWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Francisco José da Silva e et al. Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing, v. 70, n. 5, p. 573-583, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.jpdc.2010.01.010. Acesso em: 11 set. 2024.
APA
Silva, F. J. da S. e, Kon, F., Goldman, A., Finger, M., De Camargo, R. Y., Castor Filho, F., & Costa, F. M. da. (2010). Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing, 70( 5), 573-583. doi:10.1016/j.jpdc.2010.01.010
NLM
Silva FJ da S e, Kon F, Goldman A, Finger M, De Camargo RY, Castor Filho F, Costa FM da. Application execution management on the InteGrade opportunistic grid middleware [Internet]. Journal of Parallel and Distributed Computing. 2010 ; 70( 5): 573-583.[citado 2024 set. 11 ] Available from: https://doi.org/10.1016/j.jpdc.2010.01.010
Vancouver
Silva FJ da S e, Kon F, Goldman A, Finger M, De Camargo RY, Castor Filho F, Costa FM da. Application execution management on the InteGrade opportunistic grid middleware [Internet]. Journal of Parallel and Distributed Computing. 2010 ; 70( 5): 573-583.[citado 2024 set. 11 ] Available from: https://doi.org/10.1016/j.jpdc.2010.01.010

USP Schools

ReP

Filtros

Authors