POPELÍNSKÝ, Lubomír and P. FLENER. On the Use of Inductive Reasoning in Program Synthesis. Online. In Logic Program Synthesis and Transformation. Hamburg: Springer - Verlag, 1994. p. 69-87. LNCS 883. ISBN 3-540-58792-6. [citováno 2024-04-23]
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Chapter(s) of a specialized book
Field of Study 10000 1. Natural Sciences
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/94:00000040
Organization unit Faculty of Informatics
ISBN 3-540-58792-6
Changed by Changed by: doc. RNDr. Lubomír Popelínský, Ph.D., učo 1945. Changed: 25/2/1999 00:56.
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
PrintDisplayed: 23/4/2024 20:14