A0.06
Main lecture hall. All scientific sessions of the main conference will be in this room.
Sessions
- Session 1 (Jul 28 08:45-09:00) Welcome
|
|
CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
A0.06
Main lecture hall. All scientific sessions of the main conference will be in this room. Sessions
|
|