9th International Joint Conference on Automated Reasoning (Begivenhed)

Braüner, T. (Medlem)

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Beskrivelse

Program committee member
Periode14 jul. 2018 - 17 jul. 2018
BegivenhedstypeKonference
Placering