Informationen zu „Inproceedings3028“

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Basisinformationen

AnzeigetitelVerification of Knowledge-Based Programs over Description Logic Actions
StandardsortierschlüsselInproceedings3028
Seitenlänge (in Bytes)1.398
Seitenkennnummer6692
Seiteninhaltssprachede - Deutsch
SeiteninhaltsmodellWikitext
Indizierung durch SuchmaschinenErlaubt
Anzahl der Weiterleitungen zu dieser Seite1
Gezählt als eine InhaltsseiteJa

Seitenschutz

BearbeitenAlle Benutzer (unbeschränkt)
VerschiebenAlle Benutzer (unbeschränkt)
Das Seitenschutz-Logbuch für diese Seite ansehen.

Versionsgeschichte

SeitenerstellerBenjamin Zarrieß (Diskussion | Beiträge)
Datum der Seitenerstellung18:11, 17. Jun. 2015
Letzter BearbeiterBenjamin Zarrieß (Diskussion | Beiträge)
Datum der letzten Bearbeitung12:48, 7. Aug. 2015
Gesamtzahl der Bearbeitungen4
Gesamtzahl unterschiedlicher Autoren2
Anzahl der kürzlich erfolgten Bearbeitungen (in den letzten 90 Tagen)0
Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen0

Seiteneigenschaften

Magisches Wort (1)
  • __KEIN_INHALTSVERZEICHNIS__
Eingebundene Vorlagen (19)

Folgende Vorlagen werden auf dieser Seite verwendet: