Temporal logic programming : a survey

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
47 S.
Language
Deutsch
Notes
Literaturverz. S. 45 - 47

Bibliographic citation
Interner Bericht / Universität Karlsruhe (TH) ; 89,22

Event
Veröffentlichung
(where)
Karlsruhe
(who)
Univ., Fak. für Informatik
(when)
[1989]
Creator
Brzoska, Christoph

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:06 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

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

Time of origin

  • [1989]

Other Objects (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

Related objects