述語論理・入門 : 基礎からプログラムの理論へ

述語論理・入門 : 基礎からプログラムの理論へ

ジュツゴ ロンリ ニュウモン : キソ カラ プログラム ノ リロン エ

上江洲忠弘著

東京 : 遊星社

東京 : 星雲社 (発売), 2007.4

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-U47

10009002845

一般図書

2

410.96-U47

10011021423

一般図書

3

410.96-U47

10007008628

一般図書

詳細情報

刊年

2007

形態

206p ; 21cm

別書名

述語論理入門 : 基礎からプログラムの理論へ

注記

引用文献: p[195]-196

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

上江洲, 忠弘(1942-) (ウエス, タダヒロ) [ 上江洲, 忠弘 (ウエス, タダヒロ) ]

分類

NDC8:410.96

NDC9:410.96

件名

記号論理学

ISBN

9784434106057

NCID

BA81788921

番号

TRC : 07022146