Robert Veroff

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

Affiliated Research Professor
Czech Institute of Informatics, Robotics and Cybernetics
Czech Technical University

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

Personal


Books

Recent Papers


Last Modified: March 2, 2018 by veroff@cs.unm.edu