International Joint Conference on Artificial Intelligence
Twenty-Second International Joint Conference on Artificial Intelligence
Reading Tools
Extending Decidabl...
Krötzsch, Rudolph
Search conference