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

zu Verbundenen Objekten

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)

Schäfer, Karl

Personenakten

Schäfer, Karl

Schäfer, Karl

Personenakten

Schäfer, Karl

Schäfer, Karl

Personenakten

Schäfer, Karl

Schäfer, Karl

Personenakten

Schäfer, Karl

Schäfer, Karl

Personenakten

Schäfer, Karl

Schäfer, Karl

Personenakten

Schäfer, Karl

Schäfer, Karl

Archivale

Schäfer, Karl

Ablösung des städtischen Obereigentums an dem früheren Kornamtsgrundstück Gewann I Nr. 50 in Hausener Gemarkung an den seitherigen Erbleihpächter Carl SCHÄFER

Archivale

Ablösung des städtischen Obereigentums an dem früheren Kornamtsgrundstück Gewann I Nr. 50 in Hausener Gemarkung an den seitherigen Erbleihpächter Carl SCHÄFER

Schäfer, Karl

Personenakten

Schäfer, Karl

Das Nationale im Styl.

Aufsatz

Das Nationale im Styl.

Keglerverein Karlsruhe und Umgebung e. V.

Bilder

Keglerverein Karlsruhe und Umgebung e. V.

Schäfer, Karl

Akten

Schäfer, Karl

Verbundene Objekte