Speaker
Robbe Van den Eede
KU Leuven, Vrije Universiteit Brussel
Talks at this conference:
| Fri, 11:50 |
General inductive definitions and their proof theory from a perspective of knowledge representation
Contributed |
Speaker
| Fri, 11:50 |
General inductive definitions and their proof theory from a perspective of knowledge representation
Contributed |