On the Use of Inductive Reasoning in Program Synthesis.

POPELÍNSKÝ, Lubomír and P. FLENER. On the Use of Inductive Reasoning in Program Synthesis. In Logic Program Synthesis and Transformation. Hamburg: Springer - Verlag, 1994, p. 69-87. LNCS 883. ISBN 3-540-58792-6.

Basic information

Original name

On the Use of Inductive Reasoning in Program Synthesis.

Authors

POPELÍNSKÝ, Lubomír and P. FLENER

Edition

Hamburg, Logic Program Synthesis and Transformation, p. 69-87, LNCS 883, 1994

Publisher

Springer - Verlag

---

Other information

Language

English

Type of outcome

Kapitola resp. kapitoly v odborné knize

Field of Study

10000 1. Natural Sciences

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/94:00000040

Organization unit

Faculty of Informatics

ISBN

3-540-58792-6

---

Links

MSM 143300003, plan (intention)

Name: Interakce člověka s počítačem, dialogové systémy a asistivní technologie Investor: Ministry of Education, Youth and Sports of the CR, Human-computer interaction, dialog systems and assistive technologies