Robert Veroff

Professor Emeritus
Computer Science Department
School of Engineering
University of New Mexico

Email: veroff@cs.unm.edu
   

Ph.D., Northwestern University, 1980
Primary Research Interest: automated deduction


Some Links for Automated Deduction

current

recent applications

forums

provers

miscellaneous


Books

Recent Papers


Last Modified: November 11, 2014 by veroff@cs.unm.edu