X-2009-03: Benedikt Löwe LSIR-2: Logic and the Simulation of Interaction and Reasoning 1.Full Text, 2.Abstract. < Back
