Art

J-GLOBAL ID：200902000192669032   Reference number：89A0541508

Synthesis of TRS programs.

TRSプログラムの自動合成

Author (3)： TOGASHI ATSUSHI (東北大 電通研) ,  CHIBA KAZUYA (富士ゼロックス) ,  NOGUCHI SHOICHI (東北大 電通研)
Material： 情報処理学会研究報告  (IPSJ SIG Technical Reports)
Volume： 89  Issue： 75(SF-31)  Page： SF.31.1,1-10  Publication year： Sep. 20, 1989 
JST Material Number： Z0031B  ISSN： 0919-6072  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： inference ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0541508&from=J-GLOBAL&jstjournalNo=Z0031B") }}

JST classification (2)： Theory of computation  (JB02000A) ,  Symbol manipulation  (JE03000Q)

Terms in the title (1)： 自動合成