Volume 44, Issue 1-2, February 2010

Special Issue: Programming Languages and Mechanized Mathematics Systems / Guest Edited by Jacques Carette, Makarius Wenzel and Freek Wiedijk

ISSN: 0168-7433 (Print) 1573-0670 (Online)