Advertisement

Journal of Automated Reasoning

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

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

  • Renate A. Schmidt
  • Brigitte Pientka
Article
  • 236 Downloads

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