%0 Conference Paper %1 conf/eurocal/NavratMV87 %A Návrat, Pavol %A Molnár, Ludovít %A Vojtek, Vladimir %B EUROCAL %D 1987 %E Davenport, James H. %I Springer %K dblp %P 412-423 %T Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. %U http://dblp.uni-trier.de/db/conf/eurocal/eurocal1987.html#NavratMV87 %V 378 %@ 3-540-51517-8

@inproceedings{conf/eurocal/NavratMV87, added-at = {2021-10-14T00:00:00.000+0200}, author = {Návrat, Pavol and Molnár, Ludovít and Vojtek, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/26ca885671c9e9efff8cfbedaa444829c/dblp}, booktitle = {EUROCAL}, crossref = {conf/eurocal/1987}, editor = {Davenport, James H.}, ee = {https://doi.org/10.1007/3-540-51517-8_146}, interhash = {d5d6264c569765312eb4d84ad5c700fc}, intrahash = {6ca885671c9e9efff8cfbedaa444829c}, isbn = {3-540-51517-8}, keywords = {dblp}, pages = {412-423}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:00:41.000+0200}, title = {Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments.}, url = {http://dblp.uni-trier.de/db/conf/eurocal/eurocal1987.html#NavratMV87}, volume = 378, year = 1987 }