Springer Professional: Digital Library for Business & Technology

2024 (Volume 68 | 2 Issues)

Jun 24

2023 (Volume 67 | 4 Issues)

Dec 23

2022 (Volume 66 | 4 Issues)

Nov 22

Issue: 4/2022

Special issue on Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (437-584)

Aug 22

Issue: 3/2022

Special Issue of Selected Extended Papers of IJCAR 2020

May 22

2021 (Volume 65 | 8 Issues)

Dec 21

Issue: 7/2021

Special Issue: Selected Extended Papers of CADE 2019

Aug 21

2020 (Volume 64 | 8 Issues)

Dec 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

Issue: 6/2020

Jun 20

Issue: 5/2020

Special Issue: Selected Extended Papers from ITP 2018

Apr 20

Issue: 4/2020

Mar 20

Issue: 3/2020

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

Issue: 2/2020

Jan 20

Issue: 1/2020

2019 (Volume 63 | 4 Issues)

Dec 19

Issue: 4/2019

Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai

Oct 19

Issue: 3/2019

Aug 19

Issue: 2/2019

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

Issue: 1/2019

2019 (Volume 62 | 4 Issues)

Apr 19

2018 (Volume 61 | 1 Issues)

Jun 18

Issue: 1-4/2018

Special Issue: Milestones in Interactive Theorem Proving

2018 (Volume 60 | 4 Issues)

Apr 18

2017 (Volume 59 | 4 Issues)

Dec 17

2017 (Volume 58 | 4 Issues)

Apr 17

2016 (Volume 57 | 4 Issues)

Dec 16

2016 (Volume 56 | 4 Issues)

Apr 16

2015 (Volume 55 | 4 Issues)

Dec 15

2015 (Volume 54 | 4 Issues)

Apr 15

2014 (Volume 53 | 4 Issues)

Dec 14

2014 (Volume 52 | 4 Issues)

Apr 14

2013 (Volume 51 | 4 Issues)

Dec 13

2013 (Volume 50 | 4 Issues)

Apr 13

2012 (Volume 49 | 4 Issues)

Dec 12