Formalizing common sense: an operator-ba
β
Ingvar Johansson
π
Article
π
2007
π
Springer Netherlands
π
English
β 126 KB