Dynamic Proof Theories For Reasoning With Conditionals
| Speaker(s) | Christian Straßer , Mathieu Beirlaen and Frederik Van De Putte |
|---|---|
| Date | 25 May 2012 |
| Place | Ghent, Belgium |
| Occasion | Workshop together with David Makinson and Jörg Hansen. |
| Category | Invited |
| Speaker(s) | Christian Straßer , Mathieu Beirlaen and Frederik Van De Putte |
|---|---|
| Date | 25 May 2012 |
| Place | Ghent, Belgium |
| Occasion | Workshop together with David Makinson and Jörg Hansen. |
| Category | Invited |