Další formáty:
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 a P. FLENER. On the Use of Inductive Reasoning in Program Synthesis. In \textit{Logic Program Synthesis and Transformation}. Hamburg: Springer - Verlag, 1994, s.~69-87. LNCS 883. ISBN~3-540-58792-6.
|