LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
35 S.
Sprache
Deutsch

Erschienen in
Interner Bericht / Universität Karlsruhe (TH) ; 93,9

Ereignis
Veröffentlichung
(wo)
Karlsruhe
(wer)
Univ., Fak. für Informatik
(wann)
1993
Urheber
Brzoska, Christoph
Schäfer, Karl

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:08 MESZ

Datenpartner

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

Beteiligte

  • Brzoska, Christoph
  • Schäfer, Karl
  • Univ., Fak. für Informatik

Entstanden

  • 1993

Ähnliche Objekte (12)