Carsten Schürmann 人物
Carsten Schürmann · 相关论文
System Description: Twelf — A Meta-Logical Framework for Deductive Systems
1999Lecture notes in computer science引用 598
Flexible and stretchable fabric-based tactile sensor
2014Robotics and Autonomous Systems引用 233