Ian Miguel, Wheeler Ruml, editors, Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings. Volume 4612 of Lecture Notes in Computer Science, Springer, 2007.
Conference: sara2007
@proceedings{sara:2007, title = {Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings}, year = {2007}, tags = {abstraction}, researchr = {https://researchr.org/publication/sara%3A2007}, cites = {0}, citedby = {0}, booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings}, conference = {sara}, editor = {Ian Miguel and Wheeler Ruml}, volume = {4612}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-73579-3}, }