Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1988

Künstliche Intelligenz

Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986

Editors:

  1. Thomas Christaller

    1. Forschungsgruppe Expertensysteme, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans-Werner Hein

    1. Forschungsgruppe Mensch—Maschine—Kommunikation, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael M. Richter

    1. Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 159)

Part of the book sub series: Subreihe Künstliche Intelligenz (2252)

Sections

Buy it now

eBook USD 49.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

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

Table of contents (7 papers)

  1. Front Matter

    Pages i-vii
    PDF

  2. Einführung in LISP

    • Thomas Christaller
    Pages 1-35

  3. PROLOG: PROgrammieren mit LOGik Eine Einführung

    • Helmar Gust, Michael König
    Pages 36-57

  4. Robotik und Kunstliche Intelligenz

    • P. Levi, J. Foldenauer, Th. Löffler
    Pages 58-133

  5. Programmverifikation

    • Volker Penner
    Pages 134-182

  6. Qualitative Modelle in Wissensbasierten Systemen

    • Frank Puppe, Hans Voß
    Pages 183-244

  8. Automatisches Beweisen

    • Christoph Walther
    Pages 292-339

  9. Back Matter

    Pages 341-341
    PDF
Back to top

About this book

Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Forschungsgruppe Expertensysteme, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    Thomas Christaller

  • Forschungsgruppe Mensch—Maschine—Kommunikation, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin 1, Deutschland

    Hans-Werner Hein

  • Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Deutschland

    Michael M. Richter

Back to top

Bibliographic Information

  • Book Title: Künstliche Intelligenz

  • Book Subtitle: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986

  • Editors: Thomas Christaller, Hans-Werner Hein, Michael M. Richter

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-73405-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-18903-9Published: 09 March 1988

  • eBook ISBN: 978-3-642-73405-2Published: 02 July 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VII, 341

  • Topics: Artificial Intelligence

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 49.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

Search

Navigation