Original language | Undefined/Unknown |
---|---|
Publication status | Published - 2009 |
co-projectleider NWO project Infinite Objects, Computation, Modeling, and Reasoning (2009) i.s.m. Vrije Universiteit Amsterdam en CWI Amsterdam
V. van Oostrom
Research output: Other contribution › Other research output