Logo Logo
Hilfe
Hilfe
Switch Language to English

Beyer, Dirk ORCID logoORCID: 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]

Dokument bearbeiten Dokument bearbeiten