Dynamic Proof Theories for Reasoning With Conditional Knowledge Bases
| What | Lecture | |||
|---|---|---|---|---|
| When | 25/05/2012 - 16:30 to 18:30 | |||
| Where | To be announced | |||
| Speaker(s) |
|
| What | Lecture | |||
|---|---|---|---|---|
| When | 25/05/2012 - 16:30 to 18:30 | |||
| Where | To be announced | |||
| Speaker(s) |
|