Advertisement

Annahmen-basiertes Truth-Maintenance — Consumer

  • Clemens Beckstein
Chapter
  • 18 Downloads
Part of the TEUBNER-TEXTE zur Informatik book series (volume 13)

Zusammenfassung

Nachdem wir im vorausgegangenen Kapitel mehrere Ansätze für Erweiterungen des Kern-Atms kennengelernt haben, die sich vergleichsweise gut deklarativ beschreiben lassen, wenden wir uns nun Erweiterungen zu, die prozedurale Erweiterungen des Atms darstellen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1996

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Friedrich-Schiller-Universität JenaJenaDeutschland

Personalised recommendations