Journal of Automated Reasoning
JournalPublished by Springer Science+Business Media
4works in our library 486citations of these works 76citations in our library 2011–2018years of the works here
Works by year
Works in our library by year
4 dated works from 2011 to 2018; the busiest year is 2011 with 1.
The numbers
| Year | Works |
|---|---|
| 2018 | 1 |
| 2013 | 1 |
| 2012 | 1 |
| 2011 | 1 |
Volumes by year
2010s
Top topics
Fields
Top authors
🧑🔬Josef Urban4 works here · 486 citations🧑🔬Cezary Kaliszyk3 works here · 334 citations🧑🔬Michael Norrish1 work here · 57 citations🧑🔬Ramana Kumar1 work here · 57 citations🧑🔬Thibault Gauthier1 work here · 57 citations
Top institutions
🎓Radboud University NijmegenNijmegen · 
Netherlands3 works here🎓Universität InnsbruckInnsbruck · 
Austria3 works here🎓University of LisbonLisbon · 
Portugal1 work here🔬Data61Sydney · 
Australia1 work here🎓Czech Technical University in PraguePrague · 
Czechia1 work here🎓Universidade Nova de LisboaLisbon · Portugal1 work here
Netherlands3 works here🎓Universität InnsbruckInnsbruck · Austria3 works here🎓University of LisbonLisbon · Portugal1 work here🔬Data61Sydney · Australia1 work here🎓Czech Technical University in PraguePrague · Czechia1 work here🎓Universidade Nova de LisboaLisbon · Portugal1 work hereWorks in our library (4)
- Learning-Assisted Automated Reasoning with FlyspeckJournal of Automated ReasoningCezary Kaliszyk, Josef Urban2012 · 165 citations
- Premise Selection for Mathematics by Corpus Analysis and Kernel MethodsJournal of Automated ReasoningJesse Alama, Tom Heskes, Daniel Kühlwein, et al.2011 · 152 citations
- TacticToe: Learning to Prove with TacticsJournal of Automated ReasoningThibault Gauthier, Cezary Kaliszyk, Josef Urban, et al.2018 · 57 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/