> Detailanzeige

Alechina, Natasha [Verfasser:in]; Nørvåg, Kjetil [Verfasser:in]; Penczek, Wojciech [Verfasser:in] ; Natasha Alechina and Kjetil Nørvåg and Wojciech Penczek [Mitwirkende:r]

LIPIcs, Volume 120, TIME'18, Complete Volume

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht
  • Titel: LIPIcs, Volume 120, TIME'18, Complete Volume
  • Beteiligte: Alechina, Natasha [Verfasser:in]; Nørvåg, Kjetil [Verfasser:in]; Penczek, Wojciech [Verfasser:in]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.TIME.2018
  • Schlagwörter: Computing methodologies ; Knowledge representation and reasoning ; Temporal data ; Information systems ; Theory of computation ; Logic
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: LIPIcs, Volume 120, TIME'18, Complete Volume
  • Zugangsstatus: Freier Zugang