Advertisement

Journal of Automated Reasoning

, Volume 21, Issue 3, pp 277–278 | Cite as

Preface

  • Deepak Kapur
  • Dongming Wang
Article

Keywords

Artificial Intelligence Mathematical Logic Algebraic Manipulation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Deepak Kapur
    • 1
  • Dongming Wang
    • 2
  1. 1.Department of Computer ScienceState University of New York at Albany, I67AAlbany
  2. 2.Department of Computer ScienceLIFIA–IMAG–CNRSGrenoble CedexFrance

Personalised recommendations