The Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis

  • Authors
  • David A. Plaisted
  • Yunshan Zhu

Part of the Computational Intelligence book series (CI)

Table of contents

  1. Front Matter
    Pages N1-vi
  2. David A. Plaisted, Yunshan Zhu
    Pages 67-154
  3. Back Matter
    Pages 155-168

About this book


Beweisen Komplexität Natur Prolog Resolution Theorembeweisen Verfahren behavior

Bibliographic information

  • DOI
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1997
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-05574-5
  • Online ISBN 978-3-322-93862-6
  • Buy this book on publisher's site