4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
- Kanckos, A. (Tieteellisen komitean jäsen)
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen