GradNova
Applications of Logic in Computer Science
1 faculty research Applications of Logic in Computer Science on GradNova.
F. Wendell Miller Professor
Computer Science
University of Iowa