RobotikWolfgang Bibel ×Vieweg & Teubner × Automated Theorem Proving Wolfgang BibelVieweg & TeubnereBook2013