Original language | English |
---|---|
Pages (from-to) | vii |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 12180 LNCS |
State | Published - 2020 |
Preface
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Research output: Contribution to journal › Editorial