Jakob Nordström: Current Research in Proof Complexity

Tid: Må 2011-10-24 kl 10.15

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

Kontakt:

Exportera till kalender