Journal of Automated Reasoning

, Volume 47, Issue 2, pp 107–109 | Cite as

Preface: Special Issue of Selected Extended Papers of CADE-22

Article

References

  1. 1.
    Schmidt, R.A. (ed.): Automated Deduction—CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Lecture Notes in Artificial Intelligence, vol. 5663. Springer, New York (2009)MATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK
  2. 2.School of Computer ScienceMcGill UniversityMontrealCanada

Personalised recommendations