AAAI Conference on Artificial Intelligence
Twenty-Seventh AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
Extending STR to a Higher-Order Consistency

Lecoutre, Paparrizou, Stergiou




Search conference