#### DMCA

## Qualitative Theorem Proving in Linear Constraints (2000)

by
Vijay Chandru
,
Catherine Lassez
,
Jean-Louis Lassez

Venue: | In International Symposium on Artificial Intelligence and Mathematics. Long version to appear in the Annals of Mathematics and Artificial Intelligence |

Citations: | 8 - 0 self |