Two New Results on Adaptive Logics and Dynamic Proofs
What | Lecture | |
---|---|---|
When | 04/10/2000 - 00:00 | |
Where | To be announced | |
Speaker(s) |
|
|
Website | http://logica.ugent.be/centrum/events/abstracts/okt4.html |
What | Lecture | |
---|---|---|
When | 04/10/2000 - 00:00 | |
Where | To be announced | |
Speaker(s) |
|
|
Website | http://logica.ugent.be/centrum/events/abstracts/okt4.html |