Temporal logic programming : a survey

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
47 S.
Sprache
Deutsch
Anmerkungen
Literaturverz. S. 45 - 47

Erschienen in
Interner Bericht / Universität Karlsruhe (TH) ; 89,22

Ereignis
Veröffentlichung
(wo)
Karlsruhe
(wer)
Univ., Fak. für Informatik
(wann)
[1989]
Urheber
Brzoska, Christoph

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

Datenpartner

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

Beteiligte

  • Brzoska, Christoph
  • Univ., Fak. für Informatik

Entstanden

  • [1989]

Ähnliche Objekte (12)

Inductive temporal logic programming

Hochschulschrift

Inductive temporal logic programming

Temporal logic as a programming language

Hochschulschrift

Temporal logic as a programming language

Logic programming : proceedings

Konferenzschrift | Kongress

Logic programming : proceedings

Program optimization for temporal reasoning within a logic programming framework

Hochschulschrift

Program optimization for temporal reasoning within a logic programming framework

The integration of functions into logic programming : a survey

The integration of functions into logic programming : a survey

Temporal Logic

Temporal Logic

Logic programming and databases

Logic programming and databases

Reasoning with logic programming

Reasoning with logic programming

Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Logic Programming with Prolog

Logic Programming with Prolog

Records for logic programming

Records for logic programming

Verbundene Objekte