Jakob Nordström: Current Research in Proof Complexity

Time: Mon 2011-10-24 10.15

Location: Seminar room 1537, Osquars backe 2, 5th floor

Contact:

Export to calendar