Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662 und Huisman, Marieke
(2020):
Selected and Extended Papers from TACAS 2018: Preface.
In: Journal of Automated Reasoning, Bd. 64, Nr. 7: S. 1331-1332
[PDF, 172kB]
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| URN: | urn:nbn:de:bvb:19-epub-75954-4 |
| ISSN: | 0168-7433 |
| Sprache: | Englisch |
| Dokumenten ID: | 75954 |
| Datum der Veröffentlichung auf Open Access LMU: | 14. Mai 2021 09:18 |
| Letzte Änderungen: | 13. Aug. 2024 12:59 |
- Dokument bearbeiten
