|
|
Andrew Gelsey (1990): Automated Reasoning about Machine Geometry and Kinematics
| Title: |
Automated Reasoning about Machine Geometry and Kinematics |
| Author(s): |
Andrew Gelsey |
| Year: |
1990 |
| Booktitle: |
Readings in Qualitative Reasoning about Physical Systems |
| Editor(s): |
Weld, David S. and de Kleer, J. |
| Chapter: |
8.4 |
| Pages: |
580-592 |
| Publisher: |
Morgan Kaufmann |
| Address: |
San Mateo CA |
Concepts
|
|
