International Joint Conference on Artificial Intelligence
Twenty-Second International Joint Conference on Artificial Intelligence
Reading Tools
Generalizing ADOPT...
Gutierrez, Meseguer, Yeoh
Search conference