%0 Conference Paper %1 conf/pods/AbouziedAPHS13 %A Abouzied, Azza %A Angluin, Dana %A Papadimitriou, Christos H. %A Hellerstein, Joseph M. %A Silberschatz, Avi %B PODS %D 2013 %E Hull, Richard %E Fan, Wenfei %I ACM %K dblp %P 49-60 %T Learning and verifying quantified boolean queries by example. %U http://dblp.uni-trier.de/db/conf/pods/pods2013.html#AbouziedAPHS13 %@ 978-1-4503-2066-5

@inproceedings{conf/pods/AbouziedAPHS13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Abouzied, Azza and Angluin, Dana and Papadimitriou, Christos H. and Hellerstein, Joseph M. and Silberschatz, Avi}, biburl = {https://www.bibsonomy.org/bibtex/28d024ac181a13170b47b7c0741848e8c/dblp}, booktitle = {PODS}, crossref = {conf/pods/2013}, editor = {Hull, Richard and Fan, Wenfei}, ee = {https://doi.org/10.1145/2463664.2465220}, interhash = {7059c26faf4faacb28c8d03dab85efea}, intrahash = {8d024ac181a13170b47b7c0741848e8c}, isbn = {978-1-4503-2066-5}, keywords = {dblp}, pages = {49-60}, publisher = {ACM}, timestamp = {2018-11-07T15:28:57.000+0100}, title = {Learning and verifying quantified boolean queries by example.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods2013.html#AbouziedAPHS13}, year = 2013 }