DMCA

Qualitative Theorem Proving in Linear Constraints (2000)

Cached

Download Links

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