Algorithmic Mathematics and Computer Science

AMCS 2005: Las Vegas, Nevada, USA