POPELÍNSKÝ, Lubomír a P. FLENER. On the Use of Inductive Reasoning in Program Synthesis. In Logic Program Synthesis and Transformation. Hamburg: Springer - Verlag, 1994. s. 69-87. LNCS 883. ISBN 3-540-58792-6.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On the Use of Inductive Reasoning in Program Synthesis.
Autoři POPELÍNSKÝ, Lubomír a P. FLENER.
Vydání Hamburg, Logic Program Synthesis and Transformation, s. 69-87, LNCS 883, 1994.
Nakladatel Springer - Verlag
Další údaje
Originální jazyk angličtina
Typ výsledku Kapitola resp. kapitoly v odborné knize
Obor 10000 1. Natural Sciences
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/94:00000040
Organizační jednotka Fakulta informatiky
ISBN 3-540-58792-6
Změnil Změnil: doc. RNDr. Lubomír Popelínský, Ph.D., učo 1945. Změněno: 25. 2. 1999 00:56.
Návaznosti
MSM 143300003, záměrNázev: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 23. 9. 2020 09:47