The site menu is from hereThe head of this page

This is an explanation of shortcut keys. To link or execute a function, press any of the following combinations of shortcut keys and then press Enter.  To listen to an explanation of shortcut keys, press Alt and 0.  To display the top page, press Alt and 1.  To login, press Alt and 2.  To display the Simple Search page, press Alt and 3.  To display the Advanced Search page, press Alt and 4.  To display the Search page for persons with disabilities, press Alt and 5.  To sort search results, press Alt and 6.  To display the NDL homepage, press Alt and 7.  To refine search results, press Alt and 8.  This ends the explanation of shortcut keys.

The navigation is from here

The navigation is to here

A body is from here

Format 記事・論文

論理プログラムの等価変換とプログラム合成問題への応用

佐藤 泰介,玉木 久夫

details

Title 論理プログラムの等価変換とプログラム合成問題への応用
Author 佐藤 泰介
Author 玉木 久夫
Series 創立25周年記念特集
Place of Publication (Country Code) JP
Year of Publication(W3CDTF) 1985-11
NDLC ZM13
Target Audience 一般
Material Type 記事・論文
is part of (URI Form) https://iss.ndl.go.jp/books/R100000002-I000000011527-00
is part of (ISSN Form) 04478053
is part of (ISSN-L Form) 04478053
Magazine-which-carries-the-article name 情報処理 / 情報処理学会 編
Printing volume 26
Printing number 11
Printing page p1423~1431
Language(ISO639-2 Form) jpn : 日本語

A body is to here

Copyright © 2012 National Diet Library. All Rights Reserved.

Foot is to here