Name: | Harald Ganzinger (†) |
---|---|
Award: | Skolem Award (CADE-10 test of time award) |
Date: | Aug 2019 |
Category | Award |
Organisation | Conference on Automated Deduction |
Name: | Harald Ganzinger (†) |
---|---|
Award: | Skolem Award (CADE-10 test of time award) |
Date: | Aug 2019 |
Category | Award |
Organisation | Conference on Automated Deduction |