Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}