Journal Journal of Automated Reasoning Issue 2/2020 Table of Contents ( 2 Articles ) 28-03-2019 | Issue 2/2020 Combining Induction and Saturation-Based Theorem Proving M. Echenim, N. Peltier 03-04-2019 | Issue 2/2020 Open Access Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL Wenda Li, Lawrence C. Paulson Download PDF-version View full text
