Proceedings:
Constraint Reasoning and Component Technologies
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 9
Track:
Verification of Rule-Based Systems
Downloads:
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 9