Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
J
Jens Claßen
roskilde university
11
H-index
35
Paper Count
316
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF
0
2026-01-01
0
OA
AI
Classen, Jens; Brauner, Torben
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
T
Torben Braüner
H-index: 16 · Papers: 135
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}