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: April 18, 2013 by veroff@cs.unm.edu