On the Use of Inductive Reasoning in Program Synthesis.

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.

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

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

---

Návaznosti

MSM 143300003, záměr

Ná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, Interakce člověka s počítačem, dialogové systémy a asistivní technologie