Advertisement

Künstliche Intelligenz und Heuristisches Programmieren

  • Nicholas V. Findler
Book

Table of contents

  1. Front Matter
    Pages i-vii
  2. Zur automatischen Beweisführung von Theoremen

    1. Front Matter
      Pages 1-1
    2. J. A. Robinson
      Pages 3-13
  3. Problem-orientierte Programmiersprachen

    1. Front Matter
      Pages 37-37
    2. E. W. Elcock
      Pages 39-52
    3. N. V. Findler
      Pages 53-80
  4. Das Lösen von Problemen

    1. Front Matter
      Pages 81-81
    2. E. J. Sandewall
      Pages 83-103
    3. J. Pitrat
      Pages 129-163
  5. Integrierte Systeme

    1. Front Matter
      Pages 165-165
  6. Verarbeitung von natürlicher Sprache und Bildern

  7. Kognitive Studien

    1. Front Matter
      Pages 271-271
  8. Back Matter
    Pages 333-349

About this book

Keywords

Intelligenz Programmieren Programmierung Programmierung (EDV) künstliche Intelligenz

Editors and affiliations

  • Nicholas V. Findler
    • 1
  1. 1.Department of Computer ScienceState University of New York at BuffaloAmherstUSA

Bibliographic information

Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering