Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Abductive Problem Solving with Abstractions

Torta, Theseider Dupré




Search conference
Close