Universität des Saarlandes: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Partner |Organisationsart=Forschungseinrichtung |Ort=Saarbrücken |Logo=UDS-Logo-transp.png |Geografische Koordinaten=49°15'20" N , 7°2'30" E |URL=https://…“) |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| Zeile 5: | Zeile 5: | ||
|Geografische Koordinaten=49°15'20" N , 7°2'30" E | |Geografische Koordinaten=49°15'20" N , 7°2'30" E | ||
|URL=https://www.uni-saarland.de/ | |URL=https://www.uni-saarland.de/ | ||
|Forschungsgruppe=Computational Logic, Automatentheorie, Wissensbasierte Systeme, | |Forschungsgruppe=Computational Logic, Automatentheorie, Wissensbasierte Systeme, Algebraische und logische Grundlagen der Informatik | ||
|Contacts=Holger Hermanns | |Contacts=Holger Hermanns | ||
}} | }} | ||
Aktuelle Version vom 5. März 2025, 14:48 Uhr
- Forschungseinrichtung
- Saarbrücken
- https://www.uni-saarland.de/
Kooperationspartner der Forschungsgruppe(n)
