Journal of Automated Reasoning

, Volume 36, Issue 4, pp 287–287

Empirically Successful Automated Reasoning: Systems Issue

Article

DOI: 10.1007/s10817-006-9059-5

Cite this article as:
Fischer, B., Sutcliffe, G. & Schulz, S. J Autom Reasoning (2006) 36: 287. doi:10.1007/s10817-006-9059-5
  • 31 Downloads

Copyright information

© Springer Science+Business Media, Inc. 2006

Authors and Affiliations

  • Bernd Fischer
    • 1
  • Geoff Sutcliffe
    • 2
  • Stephan Schulz
    • 3
  1. 1.University of SouthamptonSouthamptonEngland
  2. 2.University of MiamiCoral GablesUSA
  3. 3.Technische Universität MünchenMünchenGermany