RISC Forum
Peter Paule: announcement `10 years DESY-RISC colloquium'; David Cerna: Clausal
analysis in proof theory
| When |
Jan 23, 2017
from 01:30 PM to 02:15 PM |
|---|---|
| Where | Seminar room castle |
| Add event to calendar |
vCal
iCal
|