Zeitschriftenarchiv > Journal of Automated Reasoning
2023 (Band 67 | 1 Ausgaben)
2022 (Band 66 | 4 Ausgaben)
2021 (Band 65 | 8 Ausgaben)
2020 (Band 64 | 8 Ausgaben)
2019 (Band 63 | 4 Ausgaben)
2019 (Band 62 | 4 Ausgaben)
2018 (Band 61 | 1 Ausgaben)
2018 (Band 60 | 4 Ausgaben)
2017 (Band 59 | 4 Ausgaben)
2017 (Band 58 | 4 Ausgaben)
2016 (Band 57 | 4 Ausgaben)
2016 (Band 56 | 4 Ausgaben)
2015 (Band 55 | 4 Ausgaben)
2015 (Band 54 | 4 Ausgaben)
2014 (Band 53 | 4 Ausgaben)
2014 (Band 52 | 4 Ausgaben)
2013 (Band 51 | 4 Ausgaben)
2013 (Band 50 | 4 Ausgaben)
2012 (Band 49 | 4 Ausgaben)
2012 (Band 48 | 4 Ausgaben)
Mär 23
Nov 22
Special issue on Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (437-584)
Mai 22
Feb 22
Dez 21
Aug 21
Jun 21
Apr 21
Mär 21
Feb 21
Jan 21
Dez 20
Okt 20
Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman
Aug 20
Apr 20
Mär 20
Special Issue: Automated Reasoning Systems / Guest Editors: Armin Biere, Cesare Tinelli, Christoph Weidenbach & Special Issue: Selected Extended Papers of CADE 2017 / Guest Editor: Leonardo de Moura
Feb 20
Jan 20
Dez 19
Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai
Okt 19
Aug 19
Special Issue: Homotopy Type Theory and Univalent Foundations / Guest Editors: Peter Lefanu Lumsdaine, Nicolas Tabareau & Special Issue: Selected Extended Papers of ITP 2017 / Guest Editors: Mauricio Ayala-Rincón, César Muñoz
Jun 19
Mär 19
Jan 19
Apr 18
Feb 18
Dez 17
Okt 17
Aug 17
Apr 17
Feb 17
Dez 16
Okt 16
Aug 16
Apr 16
Feb 16
Jan 16
Dez 15
Aug 15
Jun 15
Dez 13
Okt 13
Aug 13
Apr 13
Mär 13
Jan 13
Dez 12
Aug 12
Special Issue: Theory and Applications of Abstraction, Substitution and Naming
Jun 12
Apr 12
Mär 12
Jan 12