Contact us
Computational Logic Center
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
USA
Please send an email directly to Prof. Chowdhury, Stump, or Tinelli for more information about the center.
Department of Computer Science
The University of Iowa
Computational Logic Center
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
USA
Please send an email directly to Prof. Chowdhury, Stump, or Tinelli for more information about the center.