Michael Thielscher

Reasoning Robots - 2005 - Springer Netherlands 2005 - Applied Logic Series .

9781402030697


Mathematics and Statistics