Skip to main content
SpringerLink
Log in

Künstliche Intelligenz und Heuristisches Programmieren

  • Book
  • © 1975

Overview

Editors:
  1. Nicholas V. Findler

    1. Department of Computer Science, State University of New York at Buffalo, Amherst, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Zur automatischen Beweisführung von Theoremen

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Über den Bau von Deduktionsmaschinen

      • J. A. Robinson
      Pages 3-13

    3. Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren

      • B. Meltzer
      Pages 15-35

  3. Problem-orientierte Programmiersprachen

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. Problemlösungskompilierer

      • E. W. Elcock
      Pages 39-52

    3. AMPPL-II: Praktische Anwendungsbereiche

      • N. V. Findler
      Pages 53-80

  4. Das Lösen von Problemen

    1. Front Matter

      Pages 81-81
      Download chapter PDF

    2. Heuristische Suche: Konzepte und Methoden

      • E. J. Sandewall
      Pages 83-103

    3. Die Formulierung und Durchführung von Plänen durch Maschinen

      • D. Michie
      Pages 105-128

    4. Ein allgemeines Programm für Spiele

      • J. Pitrat
      Pages 129-163

  5. Integrierte Systeme

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. Das Rahmenproblem in Problemlösungssystemen

      • B. Raphael
      Pages 167-179

  6. Verarbeitung von natürlicher Sprache und Bildern

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. Die Zusammensetzheuristik und ein Sprachlernmodell

      • R. K. Lindsay
      Pages 183-199

    3. Die natürliche Sprache als Kommunikationsmittel im programmierten Unterricht

      • R. F. Simmons
      Pages 201-207

    4. Rechenanlagen, die natürliche Sprache verstehen

      • J. Palme
      Pages 209-255

    5. Zur Beschreibung von Bildern

      • M. Clowes
      Pages 257-269

  7. Kognitive Studien

    1. Front Matter

      Pages 271-271
      Download chapter PDF

    2. Kognitive Lernprozesse: Ein Erklärungsversuch

      • M. Kochen
      Pages 273-331
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science, State University of New York at Buffalo, Amherst, USA

    Nicholas V. Findler

Bibliographic Information

  • Book Title: Künstliche Intelligenz und Heuristisches Programmieren

  • Editors: Nicholas V. Findler

  • DOI: https://doi.org/10.1007/978-3-7091-8389-2

  • Publisher: Springer Vienna

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag/Wien 1975

  • Softcover ISBN: 978-3-7091-8390-8Published: 07 January 2012

  • eBook ISBN: 978-3-7091-8389-2Published: 13 March 2013

  • Edition Number: 1

  • Number of Pages: VIII, 349

  • Additional Information: Erweiterte Bearbeitung der englischen Ausgabe mit dem Titel: Artificial intelligence and heuristic programming

  • Topics: Computation by Abstract Devices, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation