Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Hochschulschrift

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540507208 ; 3540507205 ; 9780387507200 ; 0387507205
• Dimensions: 24 cm
• Extent: IX, 246 S.
• Language: Deutsch
• Notes: graph. Darst. ; Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988

References and Relationships

• Bibliographic citation: Informatik-Fachberichte ; 199 : Subreihe künstliche Intelligenz

Classification and Topics

• Keyword: Logische Programmierung ; Programmierung (Datenverarbeitung) ; Mathematische Logik ; Programmierung ; Mathematische Logik

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Berlin, Heidelberg, New York, London, Paris, Tokyo
• (who): Springer
• (when): c 1988
• Creator: Beckstein, Clemens

Further information

• Table of contents: https://d-nb.info/890076995/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Last update: 11.06.2025, 1:37 PM CEST