Beyer, Dirk  ORCID: 0000-0003-4832-7662; Huisman, Marieke
(2020):
Selected and Extended Papers from TACAS 2018: Preface.
In: Journal of Automated Reasoning, Vol. 64, No. 7: pp. 1331-1332
|
|
Creative Commons Attribution
|
| Item Type: | Journal article |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| URN: | urn:nbn:de:bvb:19-epub-75954-4 |
| ISSN: | 0168-7433 |
| Language: | English |
| ID Code: | 75954 |
| Deposited On: | 14. May 2021 09:18 |
| Last Modified: | 14. May 2021 09:18 |
Repository Staff Only: item control page
