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. Online. In \textit{Logic Program Synthesis and Transformation}. Hamburg: Springer - Verlag, 1994. s.~69-87. LNCS 883. ISBN~3-540-58792-6. [citováno 2024-04-23]
|
