Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Zur temporalen Logik von Bäumen
1990
Signatur: D5679

Details

Autor(en) / Beteiligte
Titel
Zur temporalen Logik von Bäumen
Ort / Verlag
München : Math. Inst. u. Inst. f. Informatik, Techn. Univ. München
Erscheinungsjahr
1990
Beschreibungen/Notizen
  • München, Techn. Univ., Diss., 1990
Sprache
–
Identifikatoren
OCLC-Nummer: 1072173878, 1072173878
Titel-ID: 990005513080106463
Format
189 S. : graph. Darst.
Systemstelle
TVI

Lade weitere Informationen...