Hochschulschrift

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540507208
3540507205
9780387507200
0387507205
Maße
24 cm
Umfang
IX, 246 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988

Erschienen in
Informatik-Fachberichte ; 199 : Subreihe künstliche Intelligenz

Schlagwort
Logische Programmierung
Programmierung (Datenverarbeitung)
Mathematische Logik
Programmierung
Mathematische Logik

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo
(wer)
Springer
(wann)
c 1988
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:37 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • c 1988

Ähnliche Objekte (12)

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Hochschulschrift

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Logik-Programmierung und konstruktive Logik

Hochschulschrift

Logik-Programmierung und konstruktive Logik

Juristische Logik

Juristische Logik

Juristische Logik

Juristische Logik

Elementare Logik

Elementare Logik

Logik des konstruktiven Sehens

Logik des konstruktiven Sehens

Logik der Programmierung, Buch.

Logik der Programmierung, Buch.

Logik des Rechts

Logik des Rechts

Mathematik, Logik und Erfahrung

Mathematik, Logik und Erfahrung

Mathematik, Logik und Erfahrung

Mathematik, Logik und Erfahrung

Konstruktive Logik, Ethik und Wissenschaftstheorie

Konstruktive Logik, Ethik und Wissenschaftstheorie

Entscheidungstabellentechnik : Logik, Methodik und Programmierung

Entscheidungstabellentechnik : Logik, Methodik und Programmierung

Verbundene Objekte