CADE-29: 29TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
Manfred Schmidt-Schauss
Affiliation: Inst. für Informatik, Goethe-University Frankfurt am Main
Web page: http://www2.ki.informatik.uni-frankfurt.de
Pages in this Program
Program
Program for Sunday, July 2nd