Advertisement

Computation, Logic, Philosophy

A Collection of Essays

  • Hao Wang

Part of the Mathematics and its Application (China Series) book series (MACA, volume 2)

Table of contents

  1. Front Matter
    Pages i-xxvii
  2. Broad Issues

    1. Front Matter
      Pages 1-1
    2. Hao Wang
      Pages 3-12
    3. Hao Wang
      Pages 13-29
    4. Hao Wang
      Pages 47-59
  3. Automated Theorem Proving (ATP)

    1. Front Matter
      Pages 61-61
    2. Hao Wang
      Pages 103-137
    3. Hao Wang
      Pages 139-158
  4. Decidability and Complexity

    1. Front Matter
      Pages 193-193
    2. Hao Wang
      Pages 195-217
    3. Hao Wang
      Pages 275-289
  5. Topics from Theory to Practice

    1. Front Matter
      Pages 291-291
    2. Hao Wang
      Pages 331-360
  6. Back Matter
    Pages 371-373

About this book

Keywords

Approximation Matching artificial intelligence automated theorem proving boolean satisfiability problem classification communication complexity computability information logic model theory proof set theory theorem proving

Authors and affiliations

  • Hao Wang
    • 1
  1. 1.Rockefeller UniversityUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-2356-0
  • Copyright Information Springer Science+Business Media B.V. 1990
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-7561-9
  • Online ISBN 978-94-009-2356-0
  • Series Print ISSN 0924-5952
  • Buy this book on publisher's site
Industry Sectors
Telecommunications
Oil, Gas & Geosciences