Neil V. Murray
Professor
Computer Science Department
University At Albany, State University of New York.
NSF Project: Knowledge Compilation with Fast Response [Website]
Conference on Automated Deduction (CADE) Website
TABLEAUX'99
Administrative & Course Information
Research Interests
and Selected Publications
This page is always under construction