Melvin Fitting received the 2012 Herbrand Award for
Distinguished Contributions to Automated Deduction.
Leave a birthday greeting for Mel Fitting
Read the submitted birthday greetings
Registration For questions, email [email protected]
Official Website: http://cslogic.info/ComputationalLogicFitting70/
Added by NYC-Phil on September 28, 2012