Formal explorations of knowledge intensive tasks / Machiel Gerhard Jansen
Formal explorations of knowledge intensive tasks