menu
Workshop on Modular Knowledge (Tetrapod), FLoC 2018 by
M.Sc. Dennis Müller
on
01 Sep 2017
in
event

The KWARC group is (jointly with with Jacques Carette from McMaster University) co-organizing a workshop on Modular Knowledge at the Federated Logic Conference 2018, Cambridge, July 13.