Contact us
![[Ruoyu Zhang]](pictures/mlh.jpg)
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.
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.