Advertisement

Journal of Automated Reasoning

, Volume 32, Issue 3, pp 185–186 | Cite as

Preface

  • Deepak Kapur
Preface
  • 23 Downloads

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Deepak Kapur

There are no affiliations available

Personalised recommendations