logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Renato Reis Leme

universidade estadual de campinas

2H-index
10Paper Count
27Citation Count
Published Papers 1
Publication Date
logo
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errLeme, Renato; Olarte, Carlos; Pimentel, Elaine; Coniglio, Marcelo Esteban
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Marcelo E. Coniglio
H-index: 18 · Papers: 172
C
Carlos Olarte
H-index: 14 · Papers: 112
E
Elaine Pimentel
H-index: 12 · Papers: 84
All loaded