Neil V. Murray's Home Page

Neil V. Murray's Home Page

Neil V. Murray
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


Administrative & Course Information


Research Interests and Selected Publications

This page is always under construction