9th International Joint Conference on Automated Reasoning (Begivenhed)

Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

Beskrivelse

Program committee member
Periode14 jul. 2018 → 17 jul. 2018
Begivenhedstitel9th International Joint Conference on Automated Reasoning
BegivenhedstypeKonference