Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Margot J Taylor
Claudia Calabrese
Yoshihiro Okuno
Maurizio Massi
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JOHANNES SCHOISSWOHL
Author Info
Open Visualization
Name
Papers
Collaborators
JOHANNES SCHOISSWOHL
3
6
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (6 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Making Theory Reasoning Simpler.
0
0.34
2021
Automating Induction by Reflection.
0
0.34
2021
Induction with Generalization in Superposition Reasoning.
0
0.34
2020
1
