Skip to content

LAA

Seminar

Modelling with FO(ID); Solving with SAT

Mitchell, D (Simon Fraser University)
Friday 12 May 2006, 10:00-10:30

Seminar Room 1, Newton Institute

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧