[ACM Press the 32nd symposium - New York, New York, USA (2013.06.22-2013.06.27)] Proceedings of the 32nd symposium on Principles of database systems - PODS '13 - Learning and verifying quantified boolean queries by example
Abouzied, Azza, Angluin, Dana, Papadimitriou, Christos, Hellerstein, Joseph M., Silberschatz, AviYear:
2013
Language:
english
DOI:
10.1145/2463664.2465220
File:
PDF, 1.59 MB
english, 2013