Advertisement

Zur Logik der Logik-Programmierung

Ein konstruktiver Ansatz

  • Clemens Beckstein

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

Table of contents

  1. Front Matter
    Pages N1-ix
  2. Clemens Beckstein
    Pages 1-14
  3. Clemens Beckstein
    Pages 15-49
  4. Clemens Beckstein
    Pages 51-79
  5. Clemens Beckstein
    Pages 81-118
  6. Clemens Beckstein
    Pages 119-151
  7. Clemens Beckstein
    Pages 153-170
  8. Clemens Beckstein
    Pages 171-212
  9. Clemens Beckstein
    Pages 213-219
  10. Back Matter
    Pages 221-246

About this book

Keywords

Berechenbarkeit Beweis Logik Prolog Prädikate Prädikatenlogik künstliche Intelligenz

Authors and affiliations

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-74403-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50720-8
  • Online ISBN 978-3-642-74403-7
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site
Industry Sectors
Electronics
Energy, Utilities & Environment