TY  - JOUR
AU  - Scott Chase
C2  - Artificial Intelligence in Engineering
DA  - 1996-06-01
LA  - en
PB  - Artificial Intelligence in Engineering
PY  - 1996
TI  - Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic
ER  -