Other formats:
BibTeX
LaTeX
RIS
@inbook{190078, author = {Popelínský, Lubomír and Flener, P.}, address = {Hamburg}, booktitle = {Logic Program Synthesis and Transformation}, language = {eng}, location = {Hamburg}, isbn = {3-540-58792-6}, pages = {69-87}, publisher = {Springer - Verlag}, title = {On the Use of Inductive Reasoning in Program Synthesis.}, year = {1994} }
TY - CHAP ID - 190078 AU - Popelínský, Lubomír - Flener, P. PY - 1994 TI - On the Use of Inductive Reasoning in Program Synthesis. VL - LNCS 883 PB - Springer - Verlag CY - Hamburg SN - 3540587926 ER -
POPELÍNSKÝ, Lubomír and P. FLENER. On the Use of Inductive Reasoning in Program Synthesis. Online. In \textit{Logic Program Synthesis and Transformation}. Hamburg: Springer - Verlag, 1994. p.~69-87. LNCS 883. ISBN~3-540-58792-6. [citováno 2024-04-23]
|