Attribut:Matrix
Aus International Center for Computational Logic
K
#kg2020:tu-dresden.de
+
#kg2021:tu-dresden.de
+
#kg2022:tu-dresden.de
+
#kg2023:tu-dresden.de
+
#kg2024:tu-dresden.de
+
@kroetzsc:tu-dresden.de +
M
@s9616726:tu-dresden.de +
@stme795c:tu-dresden.de +
#concurrencytheory22:tu-dresden.de
+
R
@serudolp:tu-dresden.de +
S
#RuleBasedKR2021:tu-dresden.de
+
T
#theorem-proving-with-lean-2022:tu-dresden.de
+
#lean:tu-dresden.de
+
#lean:tu-dresden.de
+
#lean:tu-dresden.de
+
#theolog2021:tu-dresden.de
+
#theolog2022:tu-dresden.de
+
#theolog:tu-dresden.de
+
