(mobo import Concept___Events-migrated) |
(mobo import Concept___Fix_Presence-migrated) |
||
Line 26: | Line 26: | ||
|Academic Field=Automated Deduction | |Academic Field=Automated Deduction | ||
|Event Status=as scheduled | |Event Status=as scheduled | ||
− | |Event Mode= | + | |Event Mode=on site |
}} | }} | ||
ISBN=978-3-030-29435-9 (print) | ISBN=978-3-030-29435-9 (print) | ||
ISBN=978-3-030-29436-6 (online) | ISBN=978-3-030-29436-6 (online) |
Revision as of 11:53, 7 September 2022
ISBN=978-3-030-29435-9 (print)
ISBN=978-3-030-29436-6 (online)