A goal-directed proof format and its heuristics
What | Lecture | ||
---|---|---|---|
When | 08/02/2002 - 00:00 | ||
Where | To be announced | ||
Speaker(s) |
|
||
Website | http://logica.ugent.be/centrum/events/abstracts/08_02_02.html |
What | Lecture | ||
---|---|---|---|
When | 08/02/2002 - 00:00 | ||
Where | To be announced | ||
Speaker(s) |
|
||
Website | http://logica.ugent.be/centrum/events/abstracts/08_02_02.html |