%0 Conference Paper %1 conf/focs/Hong86 %A Hong, Jiawei %B FOCS %D 1986 %I IEEE Computer Society %K dblp %P 107-116 %T Proving by Example and Gap Theorems %U http://dblp.uni-trier.de/db/conf/focs/focs86.html#Hong86 %@ 0-8186-0740-8

@inproceedings{conf/focs/Hong86, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hong, Jiawei}, biburl = {https://www.bibsonomy.org/bibtex/29a90b7fc035a64f4fb61ee22513703fa/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS27}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1986.48}, interhash = {be243259cd12e38efdc9a95e8eb7bcf4}, intrahash = {9a90b7fc035a64f4fb61ee22513703fa}, isbn = {0-8186-0740-8}, keywords = {dblp}, pages = {107-116}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:20:44.000+0200}, title = {Proving by Example and Gap Theorems}, url = {http://dblp.uni-trier.de/db/conf/focs/focs86.html#Hong86}, year = 1986 }