A1.02
First floor seminar room.
Sessions
- Session 28D (Aug 02 09:00-10:30) TPTPTP (1)
- Session 29D (Aug 02 11:00-12:30) TPTPTP (2)
- Session 30D (Aug 02 14:00-15:30) TPTPTP (3)
- Session 32C (Aug 02 16:00-18:00) TPTPTP (4)
|
|
CADE-30: 30TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
A1.02
First floor seminar room. Sessions
|
|