4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
- Kanckos, A. (Medlem av vetenskaplig kommitté)
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium