Dr. Dennis Müller 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.
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.