Name: | Christoph Weidenbach |
---|---|
Award: | Skolem Award (CADE-16 test of time award) |
Date: | Aug 2019 |
Category | Award |
Organisation | Conference on Automated Deduction |
Name: | Christoph Weidenbach |
---|---|
Award: | Skolem Award (CADE-16 test of time award) |
Date: | Aug 2019 |
Category | Award |
Organisation | Conference on Automated Deduction |