Advertisement

Zusammenfassung und Ausblick

  • Clemens Beckstein
Chapter
  • 31 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 199)

Zusammenfassung

Die Rolle der Logik als Analysewerkzeug und Repräsentationsformalismus sowie zur Beurteilung der Gültigkeit von Schlüssen ist unbestritten. Das gilt—mit Moore—insbesondere für die Prädikatenlogik.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Lehrstuhl für DatenbanksystemeUniversität Erlangen-NürnbergMartensstraße 3Germany

Personalised recommendations