GradNova
Logic and Automated Reasoning
1 faculty research Logic and Automated Reasoning on GradNova.
Associate Professor of Spatial Computing
School of Computing and Information Science
University of Maine