Inductive synthesis of recursive processes from logical properties

Shigetomo Kimura*, Atsushi Togashi, Norio Shiratori

*この研究の対応する著者

    研究成果: Article査読

    フィンガープリント

    「Inductive synthesis of recursive processes from logical properties」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Mathematics