Inductive Synthesis of Recursive Processes from Logical Properties

Autor:	Kimura, Shigetomo, Togashi, Atsushi, Shiratori, Norio
Jazyk:	angličtina
Rok vydání:	1995
Zdroj:	数理解析研究所講究録. 902:80-102
ISSN:	1880-2818
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=jairo_______::7957f98a4f4d2555f15a23a8be639a88 http://hdl.handle.net/2433/59387 Zobrazit plný text záznamu