Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: (wvn=16,O*)
Treffer 34476 von 34486
|
|
| Link zu diesem Datensatz | https://d-nb.info/1080332650 |
| Art des Inhalts | Hochschulschrift |
| Titel | Automaten und Logiken zur Beschreibung zeitabhängiger Systeme / Thomas Wilke |
| Person(en) | Wilke, Thomas (Verfasser) |
| Verlag | Kiel : Universitätsbibliothek Kiel |
| Zeitliche Einordnung | Erscheinungsdatum: 1994 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:gbv:8:1-zs-00000235-a7 |
| URL | http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000235 (Verlag) (kostenfrei zugänglich) |
| ISSN | ISSN der Vorlage: 2192-6247 |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | Technische Berichte des Instituts für Informatik der CAU Kiel ; 9408 |
| Schlagwörter | Mathematische Logik* ; Temporale Logik* (*maschinell ermittelt) |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 34476 von 34486
Administration
