A. Sinner

发表

Martin A. Riedmiller, David Meier, Artur Merke, 2000, RoboCup.

Martin A. Riedmiller, Artur Merke, A. Merke, 2000, Robot Soccer World Cup.

Martin A. Riedmiller, David Meier, Artur Merke, 2000, RoboCup.

Martin A. Riedmiller, Lutz Frommberger, Artur Merke, 1999, RoboCup.

Alex Sinner, Thomas Kleemann, A. Sinner, 2005, CADE.

Peter Baumgartner, Ulrich Furbach, Alex Sinner, 2004, Journal of Automated Reasoning.

Alex Sinner, Thomas Kleemann, A. Sinner, 2005, ICLP.