資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 計算理論と論理プログラミング

Melvin Fitting／[著] -- 丸善 -- 1989.8 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
多摩 書庫 一般図書 /5355/3274/89 1123867920 Digital BookShelf
1989/09/18 可能（館内閲覧） 利用可   0 (11)-0362

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-621-03397-2
タイトル 計算理論と論理プログラミング
タイトルカナ ケイサン リロン ト ロンリ プログラミング
著者名 Melvin Fitting ／[著], 山崎 秀記 ／[ほか]共訳
著者名典拠番号

120000348510000 , 110001154340000

出版地 東京
出版者 丸善
出版者カナ マルゼン
出版年 1989.8
ページ数 252p
大きさ 22cm
原タイトル注記 原タイトル:Computability theory,semantics,and logic programming
都立翻訳原書名注記 Computability theory,semantics,and logic programming.の翻訳
価格 ¥3600
一般件名 プログラミング(コンピュータ) , 情報理論
一般件名カナ プログラミング(コンピュータ),ジョウホウ リロン
一般件名典拠番号

510348100000000 , 510977400000000

分類：都立NDC10版 007.64
資料情報1 『計算理論と論理プログラミング』　Melvin Fitting／[著], 山崎 秀記／[ほか]共訳 　丸善　1989.8（所蔵館：多摩　 請求記号：/5355/3274/89　 資料コード：1123867920）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1101637778

ページの先頭へ