000 00402nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9781402030697
100 _aMichael Thielscher
245 0 _aReasoning Robots
250 _a2005
260 _bSpringer Netherlands
_c2005
440 _aApplied Logic Series
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/1-4020-3069-X
999 _c4282
_d4282