TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Anmelden
Edit tools
Diskussion
Formular anzeigen
Quelltext anzeigen
Versionsgeschichte
Intern
Suche
Search
English
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner
Andrea Kühn
Aus International Center for Computational Logic
Version vom 5. März 2025, 15:44 Uhr von
Johannes Lehmann
(
Diskussion
|
Beiträge
)
(Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“)
(
Unterschied
)
← Nächstältere Version
|
Aktuelle Version
(
Unterschied
) |
Nächstjüngere Version →
(
Unterschied
)
Wechseln zu:
Navigation
,
Suche
Andrea Kühn
Sekretärin
Technische Universität Dresden
http://www.tu-dresden.de
International Center for Computational Logic
https://iccl.inf.tu-dresden.de
Algebraische und logische Grundlagen der Informatik
secretary_alg@mailbox.tu-dresden.de
+49 351 463-38549
APB 3005
Kategorie
:
Mitarbeiter
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen
