![](/img/cover-not-exists.png)
[IEEE Comput. Soc Twelfth Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000 - Vancouver, BC, Canada (13-15 Nov. 2000)] Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000 - Automated reasoning on monotonic constraints
Bordeaux, L., Benhamou, F.Year:
2000
Language:
english
DOI:
10.1109/tai.2000.889900
File:
PDF, 407 KB
english, 2000