Neil V. Murray's Home Page

Neil V. Murray's Home Page

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