Advertisement

Journal of Automated Reasoning

, Volume 33, Issue 3–4, pp 219–220 | Cite as

Preface

  • Deepak Kapur
  • Laurent Vigneron
Article

Copyright information

© Springer 2005

Authors and Affiliations

  • Deepak Kapur
    • 1
  • Laurent Vigneron
    • 2
  1. 1.University of New MexicoAlbuquerque
  2. 2.LORIA, Université Nancy 2, CNRSNancyFrance

Personalised recommendations