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