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

Cortes, Joao

inesc-id

0H-index
1Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
errJournal of Automated Reasoning
IF0.8
err2026-02-16
err0
errOAAI
errCortes, Joao; Lynce, Ines; Manquinho, Vasco
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
I
Inês Lynce
H-index: 27 · Papers: 158
V
Vasco Manquinho
H-index: 17 · Papers: 123
All loaded