Kosmos Directory Software
Become an Expert
3 experts in "automated reasoning" found:
James Delgrande
Expert In:
Automated
reasoning
View Profile
Arie Gurfinkel
Expert In:
Automated
program analysis
Automated
reasoning
Abstract Interpretation
Application security
View Profile
Kate Larson
Expert In:
Automated
negotiation
Resource bounded
reasoning
Artificial intelligence
Coalition formation
View Profile