Seminarium, Teoretisk datalogi
To 8 mars
-
Seminarium, Teoretisk datalogi
torsdag 2018-03-08, 12.00
Medverkande: Jo Devriendt, Katholieke Universiteit Leuven
Plats: Room 1537, Lindstedtsvägen 3, KTH 
2018-03-08T12:00:00.000+01:00 2018-03-08T12:00:00.000+01:00 Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH  (KTH, Stockholm, Sweden)Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi)