| Original language | Undefined/Unknown |
|---|---|
| Publisher | Department of Information and Computing Sciences, Utrecht University |
| Volume | UU-CS-2010-011 |
| Publication status | Published - 2010 |
Adapting Mathematical Domain Reasoners
B.J. Heeren, J.T. Jeuring
Research output: Book/Report › Report › Academic