図書

プログラム変換 (知識情報処理シリーズ ; 7)

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

プログラム変換(知識情報処理シリーズ ; 7)

Call No. (NDL)
M159-2006
Bibliographic ID of National Diet Library
000001872295
Persistent ID (NDL)
info:ndljp/pid/12630581
Material type
図書
Author
古川康一, 溝口文雄 共編
Publisher
共立出版
Publication date
1987.8
Material Format
Paper・Digital
Capacity, size, etc.
179p ; 22cm
NDC
007.64
View All

Notes on use

Note (General):

執筆: 佐藤泰介ほか

Detailed bibliographic record

Summary, etc.:

代表的なプログラム変換技術である部分計算法、展開/たたみ込み技術の理論と実際を詳細に解説。(Provided by: 出版情報登録センター(JPRO))

Search by Bookstore

Table of Contents

  • 第1章 プログラム変換入門

  • 第2章 等式プログラムの等価交換

  • 第3章 論理型言語におけるプログラム変換

  • 第4章 部分計算

  • 第5章 メタ・プログラミングと部分計算

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.

Kanto

  • 福井県立図書館

    Paper
    Call No.:
    007/チ/7
    Book Registration Number:
    2010173009
  • 岐阜県図書館

    Paper
    Call No.:
    401-チ-7
    Book Registration Number:
    8120232494
  • 愛知県図書館

    Paper
    Call No.:
    007-フル-372514
    Book Registration Number:
    1102979827
  • 農林水産関係試験研究機関総合目録

    Search Service
    Paper
    You can check the holdings of institutions and databases with which 農林水産関係試験研究機関総合目録 is linked at the site of 農林水産関係試験研究機関総合目録.
  • CiNii Research

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

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

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 Digital

Material Type
図書
ISBN
4-320-02267-X
Title Transcription
プログラム ヘンカン
Author/Editor
古川康一, 溝口文雄 共編
Author Heading
古川, 康一, 1942- フルカワ, コウイチ, 1942- ( 00014733 )Authorities
溝口, 文雄, 1941- ミゾグチ, フミオ, 1941- ( 00045896 )Authorities
Publication, Distribution, etc.
Publication Date
1987.8
Publication Date (W3CDTF)
1987