%0 Conference Paper %1 conf/ijcai/Dershowitz85 %A Dershowitz, Nachum %B IJCAI %D 1985 %E Joshi, Aravind K. %I Morgan Kaufmann %K dblp %P 208-214 %T Synthesis by Completion. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#Dershowitz85

@inproceedings{conf/ijcai/Dershowitz85, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dershowitz, Nachum}, biburl = {https://www.bibsonomy.org/bibtex/2609e2862b14e2adcb75a19b1f9615afe/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1985}, editor = {Joshi, Aravind K.}, ee = {http://ijcai.org/Proceedings/85-1/Papers/038.pdf}, interhash = {50a3e92d5af4bad61b2c7e22514e584a}, intrahash = {609e2862b14e2adcb75a19b1f9615afe}, keywords = {dblp}, pages = {208-214}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:47:52.000+0200}, title = {Synthesis by Completion.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#Dershowitz85}, year = 1985 }