%0 Journal Article %1 journals/jsyml/AdlemanB91 %A Adleman, Leonard M. %A Blum, Manuel %D 1991 %J J. Symb. Log. %K dblp %N 3 %P 891-900 %T Inductive Inference and Unsolvability. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml56.html#AdlemanB91 %V 56

@article{journals/jsyml/AdlemanB91, added-at = {2014-08-05T00:00:00.000+0200}, author = {Adleman, Leonard M. and Blum, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/26aae05f73da93d34fd657a0535008d8d/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183743737}, interhash = {3c05420a8a784c54f2ebefb3c0180b46}, intrahash = {6aae05f73da93d34fd657a0535008d8d}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {891-900}, timestamp = {2016-10-27T11:33:40.000+0200}, title = {Inductive Inference and Unsolvability.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml56.html#AdlemanB91}, volume = 56, year = 1991 }