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
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