論理プログラムの等価...

論理プログラムの等価変換とプログラム合成問題への応用 (創立25周年記念特集)

Icons representing 記事

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

(創立25周年記念特集)

Call No. (NDL)
Z14-352
Bibliographic ID of National Diet Library
3049789
Material type
記事
Author
佐藤 泰介ほか
Publisher
東京 : 情報処理学会 ; 1960-
Publication date
1985-11
Material Format
Paper
Journal name
情報処理 : 情報処理学会誌 : IPSJ magazine 26(11) 1985.11
Publication Page
p.p1423~1431
View All

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Author/Editor
佐藤 泰介
玉木 久夫
Periodical title
情報処理 : 情報処理学会誌 : IPSJ magazine
No. or year of volume/issue
26(11) 1985.11
Volume
26
Issue
11
Pages
p1423~1431