Home /Research /10th international conference on automated deduction
OTHER

10th international conference on automated deduction

Tanel Tammet

Year
1991
Citations
29

Keywords

Computer scienceRedundancy (engineering)RobotComputationArtificial intelligenceArtificial neural networkGeneralizationRoboticsObstacle avoidanceKinematics

Related papers

Browse all OTHER papers