%0 Conference Paper %1 conf/coco/CarmosinoIKK16 %A Carmosino, Marco L. %A Impagliazzo, Russell %A Kabanets, Valentine %A Kolokolova, Antonina %B CCC %D 2016 %E Raz, Ran %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 10:1-10:24 %T Learning Algorithms from Natural Proofs. %U http://dblp.uni-trier.de/db/conf/coco/coco2016.html#CarmosinoIKK16 %V 50 %@ 978-3-95977-008-8

@inproceedings{conf/coco/CarmosinoIKK16, added-at = {2023-02-02T00:00:00.000+0100}, author = {Carmosino, Marco L. and Impagliazzo, Russell and Kabanets, Valentine and Kolokolova, Antonina}, biburl = {https://www.bibsonomy.org/bibtex/2719a43de5e6d79716158331f64dd8a9b/dblp}, booktitle = {CCC}, crossref = {conf/coco/2016}, editor = {Raz, Ran}, ee = {https://doi.org/10.4230/LIPIcs.CCC.2016.10}, interhash = {2cfc8d107b6f46965e3d7744903a9b33}, intrahash = {719a43de5e6d79716158331f64dd8a9b}, isbn = {978-3-95977-008-8}, keywords = {dblp}, pages = {10:1-10:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T01:31:11.000+0200}, title = {Learning Algorithms from Natural Proofs.}, url = {http://dblp.uni-trier.de/db/conf/coco/coco2016.html#CarmosinoIKK16}, volume = 50, year = 2016 }