Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge
| Type of publication: | Article |
| Citation: | Lee:2011:CAD:1940475.1940496 |
| Journal: | SIGSAM Bull. |
| Volume: | 44 |
| Year: | 2011 |
| Pages: | 123--124 |
| ISSN: | 0163-5824 |
| DOI: | 10.1145/1940475.1940496 |
| Userfields: | bdsk-url-1={http://doi.acm.org/10.1145/1940475.1940496}, project={R3-QShape}, status={Reviewed}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
